مدل سازی و اجرای کنترل نظارتی با استفاده از شبکه پتری رنگی بر روی یک سیستم سیگنالینگ ریلی

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

Keywords:

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