Modelling of a Multi-Track Railway Level Crossing System Using Timed Petri Net
Authors: Prasun Hajra, Ranjan Dasgupta
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.
Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1077609
Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 2111References:
[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.