Max'-controlled siphons for liveness of S/sup 3/PGR/sup 2/

Current deadlock control approaches for S 3 PGR 2 (systems of simple sequential processes with general resources requirement) suffer from incorrect or restricted liveness characterisation based on the concept of deadly marked siphons (DMSs) or max-controlled siphons have been demonstrated. Non-live transitions may exist when there are no DMSs. It is live when all siphons are max-controlled - restricted since it may be live when not max-controlled. We replace it with a new liveness condition called max'-controlled siphons.

[1]  Kamel Barkaoui,et al.  On Liveness and Controlled Siphons in Petri Nets , 1996, Application and Theory of Petri Nets.

[2]  MengChu Zhou,et al.  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .

[3]  Hoda A. ElMaraghy,et al.  Deadlock prevention and avoidance in FMS: A Petri net based approach , 1998 .

[4]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

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

[7]  MengChu Zhou,et al.  Clarifications on the Definitions of Elementary Siphons in Petri Nets , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.