Modeling and Supervisory Control of Railway Networks Using Petri Nets

In this paper, we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically design the system controller. We provide a modular representation of railway networks in terms of stations and tracks including sensors and semaphores. We first ensure safeness and local liveness imposing both generalized mutual exclusion constraints and constraints also involving the firing vector. The detailed model used in this first step can be abstracted, considering a higher level description of a railway network that belongs to the class of ES PR (extended simple sequential process with resources) nets and show that global liveness may be enforced by adding appropriate monitor places designed using siphon analysis. In our approach, this can be done without an exhaustive computation of all siphons and we can characterize the cases in which the procedure can be recursively applied, giving a simple test for closed-loop net to remain an ES PR net.

[1]  E. Schnieder,et al.  Hybrid Petri nets as a new formalism for modelling railway systems , 1998 .

[2]  T. K. S. Murthy,et al.  Computers in railway installations, track and signalling , 1987 .

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

[4]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[5]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[6]  Alessandro Giua,et al.  Safeness-enforcing supervisory control for railway networks , 2001, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics. Proceedings (Cat. No.01TH8556).

[7]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[8]  K. Barkaoui,et al.  A deadlock prevention method for a class of FMS , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[9]  Naiqi Wu,et al.  Modeling and deadlock control of automated guided vehicle systems , 2004 .

[10]  Jörn Pachl,et al.  Railway Operation and Control , 2002 .

[11]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

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

[13]  MengChu Zhou,et al.  Tactical scheduling of rail operations: a Petri net approach , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[14]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[15]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[16]  Phil Howlett,et al.  Energy-efficient train control , 1994 .

[17]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[18]  O S Nock.  HISTORIC RAILWAY DISASTERS 3RD ED , 1983 .

[19]  Antonella Ferrara,et al.  A new two-level model for multiclass freeway traffic , 1996 .

[20]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[21]  Jonghun Park,et al.  Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems , 2000, IEEE Trans. Robotics Autom..

[22]  V. A. Profillidis.  Railway Engineering , 1995 .

[23]  Jonghun Park,et al.  Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states , 2002, IEEE Trans. Robotics Autom..

[24]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

[25]  W. Janczura,et al.  Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets , 1998 .

[26]  C. Seatzu,et al.  Liveness enforcing supervisors for railway networks using ES/sup 2/PR Petri nets , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[27]  Kamel Barkaoui,et al.  Supervisory control of discrete event systems based on structure theory of Petri nets , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[28]  S. Balemi.  Control of discrete event systems , 1992 .

[29]  Anders Moen Hagalisletto,et al.  Large scale construction of railroad models from specifications , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[30]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[31]  J. Billington.  Many-sorted high-level nets , 1989 .

[32]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

[33]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[34]  Fernando Tricas.  A partial approach to the problem of deadlocks inprocesses with resourcesFernando , 2007 .

[35]  S. Reveliotis.  Conflict resolution in AGV systems , 2000 .

[36]  Alessandro Giua,et al.  Monitor design for colored Petri nets: An application to deadlock prevention in railway networks , 2006 .

[37]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[38]  Alessandro Giua,et al.  Deadlock recovery of Petri net models controlled using observers , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).