Railway fail-safe signalization and interlocking design based on automation Petri Net

Safe transportation on the railways can be achieved by the use of a reliable interlocking and signalization systems in order to provide safety on the railways so as to avoid fatal accidents. Presently, the relay based interlocking systems are being replaced by the programmable interlocking systems. It has both hardware and software aspects. Looking at the designing aspect a formal method can be used to fulfill the need of an efficient interlocking system so as to avoid the accidents caused due to manual operations. In this paper Automation Petri-Nets (APNs) which is an extension of Petri-Nets are being used to model a railway track interlocking and signalization operation systems. The obtained model can be converted into PLC ladder logic program easily so as to verify the accuracy for the chosen railway yard.

[1]  Murat Uzam,et al.  Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams , 1996, Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96.

[2]  Yosef Cohen,et al.  A Petri Net formal design methodology for discrete-event control of industrial automated systems , 2010, 2010 IEEE 26-th Convention of Electrical and Electronics Engineers in Israel.

[3]  MengChu Zhou,et al.  Design of industrial automated systems via relay ladder logic programming and Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[4]  Oytun Eris,et al.  Design of signal control structures using formal methods for railway interlocking systems , 2010, 2010 11th International Conference on Control Automation Robotics & Vision.

[5]  B. Barnard.  Railway system modelling - not just for fun , 2004 .

[6]  M. S. Durmus,et al.  Railway signalization and interlocking design via Automation Petri Nets , 2009, 2009 7th Asian Control Conference.

[7]  Mehmet Turan Soylemez,et al.  Application of functional safety on railways part I: Modelling & design , 2011, 2011 8th Asian Control Conference (ASCC).

[8]  MengChu Zhou,et al.  Modeling and Control of Discrete-event Dynamic Systems: With Petri Nets and Other Tools , 2007 .

[9]  H. A. Barker,et al.  A graphical simulation tool for programmable logic controllers , 1992 .

[10]  Weimin Wu,et al.  Supervisory control of discrete event systems using enabling arc Petri nets , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[11]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[12]  Tolga Ovatman,et al.  A new test environment for PLC based interlocking systems , 2011, Proceedings 2011 International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE).

[13]  Murat Uzam.  Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions , 2003 .

[14]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.