فهرست نشریات علمی دسترسی آزاد ایران

امروزه روشهای مدلسازی با استفاده از شبکه های پتری به دلیل قابلیت گرافیکی آن در شبکه های گسترده و پیچیده ، بخصوص با گسترش علوم رایانه ی و افزایش سرعت پردازنده ها، کاربرد فراوانی پیدا کرده است. شبکه های راه آهن نیز با گسترش خطوط ریلی ، افزایش ظرفیت و افزایش سرعت قطارها پیچیده تر شده و تقاضا برای کنترل این شبکه ها از نظر ایمنی و عدم وقفه رو به افزایش است . در این مقاله یک شبکه خط بسته ریلی که قطارهای عادی و سریع السیر می توانند در آن در حال حرکت باشند، با استفاده از مفاهیم مکان‌ها، گذرها و کمان‌ها در شبکه پتری مدل شده است . با استفاده از آنالیز شبکه مدل شده توسط رایانه، تمامی فضای حالت شبکه ریلی ترسیم شده وقوانین منطقی حرکت چنان طراحی شده است که در تمامی حالت‌های ممکن، ایمنی و عدم وقفه شبکه ریلی تضمین شود. پس از تحلیل توسط نرم افزار حالت های وقفه در شبکه شناسایی و شرایطی که منجر به وقفه می‌شود تعیین می‌گردد. در نهایت با تحلیل شبکه ریلی بسته بر اساس تعداد مختلف قطارهای عادی و سریع السیر با ملاحظات عملی نشان داده می‌شود که سیستم بدون وقفه بوده و همواره ایمن باشد.