پياده‌سازي كنترل نظارتي يك ايستگاه راه آهن به منظور تامين و تاييد ايمني و عدم برخورد قطارها

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