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

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