Modelling of a Multi-Track Railway Level Crossing System Using Timed Petri Net
Petri Net being one of the most useful graphical tools for modelling complex asynchronous systems, we have used Petri Net to model multi-track railway level crossing system. The roadway has been augmented with four half-size barriers. For better control, a three stage control mechanism has been introduced to ensure that no road-vehicle is trapped on the level crossing. Timed Petri Net is used to include the temporal nature of the signalling system. Safeness analysis has also been included in the discussion section.
[1] C. A. Petri, Kommunikation mit automaten, Bonn: Institut f├╝r Instrumentelle Mathematik, Schriften des IIM Nr. 3, 1962. Also, English translation, Communication with automata, New York: Griffiss Air Force Base. Tech. Rep. RADC-TR-65377, vol. 1, Suppl. 1, 1966.
[2] Tadao Murata, "Petri nets: properties, analysis and application",
Proceedings of the IEEE, Vol.77, No.4, April, 1989, 541-580.
[3] Carlo Ghezzi, Mehdi Jazayeri, & Dino Mandrioli, "Fundamentals of
software engineering" -second edition (Upper Saddle River, NJ 07458
Pearson Prentice Hall).
[4] Jiacum Wang, "Timed petri nets - theory and applications" (USA,
Kluwer Academic Publishers).
[5] M. Ghazel, & El M. El Koursi, "Automatic level crossings: from
informal functional requirements' specifications to the control model
design", Proc. IEEE International Conference on System of Systems
Engineering, 2007, April, 2007, 1 - 6.
[6] Michaela Huhn, Hardi Hungar, Axel Zechner, & Oliver Lemke, "Tools
for the model-based development of certifiable, dependable systems: a
case study", railway level crossing, Dagstuhl Seminar 07241,
International Conference and Research Center, Schloss Dagstuhl, June,
2007, http://drops.dagstuhl.de/opus/volltexte/2008/1405.
[7] Roger S. Pressman, "Software engineering - a practitioner-s approach" -
fifth edition (McGraw-Hill).
[8] Richard Zurawski, & Meng Chu Zhou, "Petri nets and industrial
applications: a tutorial", IEEE. Transactions on Industrial Electronics,
Vol. 41, No. 6, December 1994.
[9] S. Einer, R. Slovak, & E. Schnieder, "Modeling train control systems
with petri nets -an operational specification, Systems", Man, and
Cybernetics, 2000 IEEE International Conference, Issue Date: 2000,
Volume: 5, 3207 - 3211.
[10] M.M.Z. Horste, & E. Schnieder, "Modeling train control systems with
Petri Nets -a functional reference architecture", Systems, Man, and
Cybernetics, 2000 IEEE International Conference, Issue Date: 2000,
Volume: 4, 3081 - 3086.
[11] Alessandro Giua and Carla Seatzu, "Modeling and supervisory control
of railway networks using petri nets", IEEE Transactions on Automation
Science and Engineering, Vol. 5, No. 3, July 2008.
[12] Alessandro Giua, & Carla Seatzu, "Supervisory control of railway
networks with petri nets", Proceeding of the 40th IEEE Conference on
Decision and Control, Orlando, Florida USA, December, 2001.
[13] Fabrizio Diana, Alessandro Giua, & Carla Seatzu, "Safeness-enforcing
supervisory control for railway networks", Proc. 2001 IEE/ASME
International Conference on Advanced Intelligent Mechatronics, July
2001, Como, Italy.
[14] Wei Zheng, J. R. Mueller, R. Slovak, & E. Schnieder, “Function
modeling and risk analysis of automated level crossing based on national
statistical data”, Proc. Informatics 2nd in Control, Automation and
Robotics (CAR), 2010, International Asia Conference, 2010, 281 – 284.
[1] C. A. Petri, Kommunikation mit automaten, Bonn: Institut f├╝r Instrumentelle Mathematik, Schriften des IIM Nr. 3, 1962. Also, English translation, Communication with automata, New York: Griffiss Air Force Base. Tech. Rep. RADC-TR-65377, vol. 1, Suppl. 1, 1966.
[2] Tadao Murata, "Petri nets: properties, analysis and application",
Proceedings of the IEEE, Vol.77, No.4, April, 1989, 541-580.
[3] Carlo Ghezzi, Mehdi Jazayeri, & Dino Mandrioli, "Fundamentals of
software engineering" -second edition (Upper Saddle River, NJ 07458
Pearson Prentice Hall).
[4] Jiacum Wang, "Timed petri nets - theory and applications" (USA,
Kluwer Academic Publishers).
[5] M. Ghazel, & El M. El Koursi, "Automatic level crossings: from
informal functional requirements' specifications to the control model
design", Proc. IEEE International Conference on System of Systems
Engineering, 2007, April, 2007, 1 - 6.
[6] Michaela Huhn, Hardi Hungar, Axel Zechner, & Oliver Lemke, "Tools
for the model-based development of certifiable, dependable systems: a
case study", railway level crossing, Dagstuhl Seminar 07241,
International Conference and Research Center, Schloss Dagstuhl, June,
2007, http://drops.dagstuhl.de/opus/volltexte/2008/1405.
[7] Roger S. Pressman, "Software engineering - a practitioner-s approach" -
fifth edition (McGraw-Hill).
[8] Richard Zurawski, & Meng Chu Zhou, "Petri nets and industrial
applications: a tutorial", IEEE. Transactions on Industrial Electronics,
Vol. 41, No. 6, December 1994.
[9] S. Einer, R. Slovak, & E. Schnieder, "Modeling train control systems
with petri nets -an operational specification, Systems", Man, and
Cybernetics, 2000 IEEE International Conference, Issue Date: 2000,
Volume: 5, 3207 - 3211.
[10] M.M.Z. Horste, & E. Schnieder, "Modeling train control systems with
Petri Nets -a functional reference architecture", Systems, Man, and
Cybernetics, 2000 IEEE International Conference, Issue Date: 2000,
Volume: 4, 3081 - 3086.
[11] Alessandro Giua and Carla Seatzu, "Modeling and supervisory control
of railway networks using petri nets", IEEE Transactions on Automation
Science and Engineering, Vol. 5, No. 3, July 2008.
[12] Alessandro Giua, & Carla Seatzu, "Supervisory control of railway
networks with petri nets", Proceeding of the 40th IEEE Conference on
Decision and Control, Orlando, Florida USA, December, 2001.
[13] Fabrizio Diana, Alessandro Giua, & Carla Seatzu, "Safeness-enforcing
supervisory control for railway networks", Proc. 2001 IEE/ASME
International Conference on Advanced Intelligent Mechatronics, July
2001, Como, Italy.
[14] Wei Zheng, J. R. Mueller, R. Slovak, & E. Schnieder, “Function
modeling and risk analysis of automated level crossing based on national
statistical data”, Proc. Informatics 2nd in Control, Automation and
Robotics (CAR), 2010, International Asia Conference, 2010, 281 – 284.
@article{"International Journal of Information, Control and Computer Sciences:60647", author = "Prasun Hajra and Ranjan Dasgupta", title = "Modelling of a Multi-Track Railway Level Crossing System Using Timed Petri Net", abstract = "Petri Net being one of the most useful graphical tools for modelling complex asynchronous systems, we have used Petri Net to model multi-track railway level crossing system. The roadway has been augmented with four half-size barriers. For better control, a three stage control mechanism has been introduced to ensure that no road-vehicle is trapped on the level crossing. Timed Petri Net is used to include the temporal nature of the signalling system. Safeness analysis has also been included in the discussion section.
", keywords = "Modelling, Timed Petri Net, Railway Level Crossing, Safeness Condition.", volume = "6", number = "11", pages = "1446-7", }
