Signalization and Interlocking Design for a Railway Yard: A Supervisory Control Approach by Enabling Arcs

Signalization and interlocking systems are vital parts in achieving safety on railways. Early railway signaling was realized by railway guards who showed red flag or lamp to warn the driver of the train in case of emergency. By the development of faster trains and the increasing density on railways, the need for efficient interlocking and signalization systems becomes more crucial to overcome the accidents caused by human errors. In this study, a railway yard is modelled by Automation Petri Nets (APNs). A Petri-Net based supervisor is then obtained and used to guarantee the APN model of the system not to reach forbidden states or unwanted situations.

[1]  Alessandro Giua,et al.  Supervisory design using Petri nets , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[2]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

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

[4]  Alessandro Giua,et al.  Supervisory control of railway networks with Petri nets , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

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

[6]  A. F. Rumsey.  Developments in Train Control Worldwide , 2006 .

[7]  T. Agerwala,et al.  Putting Petri nets to work , 1989 .

[8]  Murat Uzam,et al.  Discrete event control system design using automation Petri nets and their ladder diagram implementation , 1998 .

[9]  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.

[10]  J. W. Palmer.  The need for train detection , 2008 .

[11]  A. Fisher.  Application of new interlockings , 2006 .

[12]  P. Ramadge,et al.  Modular Feedback Logic for Discrete Event Systems , 1987 .

[13]  Kirsten Mark Hansen.  Formalising Railway Interlocking Systems , 1998 .

[14]  W. M. Wonham,et al.  Supervisory control of discrete event processes , 1982 .

[15]  Mehmet Turan Söylemez,et al.  Fail-safe signalization design for a railway yard: A level crossing case , 2010, WODES.

[16]  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).

[17]  Anders Moen Hagalisletto,et al.  Constructing and Refining Large-Scale Railway Models Represented by Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

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