مد لسازی و تحلیل شبکه ریلی قطارهای عاد ی و سریع السیرمبتنی بر شبکه پتری

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

کلیدواژه ها:

مد لسازی مبتنی بر شبکه های پتری ، سیستم حمل و نقل ریلی ، تحلیل ایمنی