Liveness enforcing supervisors for railway networks using ES/sup 2/PR Petri nets

In this paper we consider a high-level description of a railway network using a skeleton net that belongs to the class of ES/sup 2/PR nets. The resource places of this model correspond to the action of a safeness enforcing supervisor. Liveness constraints may also be enforced for this class by adding appropriate monitor places designed using siphon analysis. We show how this can be done without an exhaustive computation of all siphons and characterize the cases in which this procedure can be recursively applied, giving a simple test for the closed loop net to remain an ES/sup 2/PR net.

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

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

[3]  Panos J. Antsaklis,et al.  Automated Synthesis of Deadlock Prevention Supervisors Using Petri Nets , 2001 .

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

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

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

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

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

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

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

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

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

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