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

Modeling and Supervisory Control of a Railway Signaling Systems using Color Petri Net

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

Modeling and simulation are widely used in the transportation network. In fact, by using this technique, a pre-built system will be analyzed after and before launching. Petri nets are useful tools for modeling and analyzing complex networks such as railway network. In this paper, using colored petri net concept, the main elements of a railway track and signals is modeled including turn out, track segment, end segment, junction and etc. In this model, the place is intended as block similar to railway and to show that block is busy by train, it is used the arc to each place. The supervisory control is designed to supervise train input and output to yards and stations, safety and non-blocking requirements in such a way that not only proposed railway network is not blocked but also safety is guaranteed. In this regards, some arcs is intended whose conditions have the role of supervisory control and also Normal and Express trains are considered in railway network as color token in petri net model. It is analyzes the petri net model by CPN Tools to satisfy logical (safety and non-blocking) and operational requirements of network. So Availability Tree is provided by state space graphs results to verify non-blocking in train operations and satisfying safety requirements. Then Best Integer Bounds Analysis is provided to verify safety operation requirements in signaling railway blocks. Finally The Best Upper Multi set Bounds Analysis in CPN Tools is implemented to verify the maximum number of Token(Train) detection in each place (block) in order to verify that the express train is never guided to waysides.