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

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