Monitor design for colored Petri nets: An application to deadlock prevention in railway networks

Abstract In this paper we use colored Petri nets (CPN) to model the dynamics of a railway system: places represent tracks and stations, tokens are trains. Using digraph tools, deadlock situations are characterized and a strategy is established to define off-line a set of constraints that prevent deadlocks. We show that these constraints limit the weighted sum of colored tokens in subsets of places. In particular, we extend the notion of generalized mutual exclusion constraints (GMEC) to CPN and we show that the above constraints, as well as the collision avoidance constraints, can be written as colored GMEC. To solve this problem, we extend the theory of monitor places for place/transition nets to the case of CPN and we show that these constraints can be enforced by a colored monitor place that minimally restricts the behavior of the closed-loop system.

[1]  A. Nijenhuis.  Combinatorial algorithms , 1975 .

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

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

[4]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[5]  Norman,et al.  Structural Models: An Introduction to the Theory of Directed Graphs. , 1966 .

[6]  Alessandro Giua,et al.  Monitor design for colored petri nets with uncontrollable and unobservable transitions , 2004 .

[7]  Michele Missikoff.  AN OBJECT-ORIENTED APPROACH TO AN INFORMATION AND DECISION SUPPORT SYSTEM FOR RAILWAY TRAFFIC CONTROL , 1998 .

[8]  Nidhal Rezg,et al.  Supervisory Control in Discrete Event Systems Using the Theory of Regions , 2000 .

[9]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

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

[11]  B. De Schutter,et al.  Model predictive control for railway networks , 2001, AIM 2001.

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

[13]  E. Reingold,et al.  Combinatorial Algorithms: Theory and Practice , 1977 .

[14]  René K. Boel,et al.  Structuring Acyclic Petri Nets for Reachability Analysis and Control , 2002, Discret. Event Dyn. Syst..

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

[16]  Alessandro Giua,et al.  Generalized mutual exclusion constraints and monitors for colored Petri nets , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

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

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

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

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

[21]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[22]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

[23]  Alessandro Giua,et al.  A deadlock prevention method for railway networks using monitors for colored Petri nets , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[24]  Maria Pia Fanti,et al.  Event-based feedback control for deadlock avoidance in flexible production systems , 1997, IEEE Trans. Robotics Autom..

[25]  Ello A.G. Weits.  Simulation of Railway Traffic Control , 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..