Max'-controlled siphons for liveness of S3PGR2

IET Control Theory and Applications

Volumn 1, Issue 4, 2007, Pages 933-936

  Chao, D Y ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONTROL SYSTEMS; PETRI NETS;

DEADLOCK CONTROL APPROACHES; DEADLY MARKED SIPHONS (DMS); RESTRICTED LIVENESS; SEQUENTIAL PROCESSES;

SIPHONS;

EID: 34250875115     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta:20060275     Document Type: Article

References (11)

1. Zhou, M., and Venkatesh, K.: ' Modeling, simulation and control of flexible manufacturing systems: a Petri net approach ', (World Scientific, Singapore, 1998)
2. Zhou, M.C., and Jeng, M.D.: ' Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach ', IEEE Trans. Semicond. Manuf., 1998, 11, (3), p. 333-357 10.1109/66.705370 0894-6507
3. Fanti, M.P., and Zhou, M.C.: ' Deadlock control methods in automated manufacturing systems ', IEEE Trans. Syst., Man, Cybern. A., 2004, 34, (1), p. 5-22 10.1109/TSMCA.2003.820590 1083-4427
4. Ezpeleta, J., Colom, J.M., and Martinez, J.: ' A Petri net based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Robot. Automat., 1995, 11, (2), p. 173-184
5. Li, Z., and Zhou, M.: ' Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems ', IEEE Trans. Syst., Man, Cybern. A: Syst. Humans, 2004, 34, (1), p. 38-51 1083-4427
6. Li, Z.W., and Zhou, M.C.: ' Clarifications on the definitions of elementary siphons in Petri nets ', IEEE Trans. Syst., Man, Cybern. A: Syst. Humans, 2006, 36, (6), p. 1227-1229 1083-4427
7. Li, Z.W., and Zhou, M.C.: ' Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets ', IEEE Trans. Indust. Inf., 2006, 2, (4), p. 313-325
8. Li, Z.W., Zhang, J., and Zhao, M.: ' Liveness-enforcing supervisor design for a class of generalized Petri net models of flexible manufacturing systems ', IET Control Theory Appl., 2007, (accepted for publication)
9. Park, J., and Reveliotis, S.A.: ' Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings ', IEEE Trans. Autom. Control, 2001, 46, (10), p. 1572-1583 10.1109/9.956052 0018-9286
10. Abdallah, I.B., and Elmaraghy, A.: ' Deadlock prevention and avoidance in FMS: a Petri net based approach ', Int. J. Adv. Manuf. Technol., 1998, 14, (10), p. 704-715 10.1007/BF01438223 0268-3768
11. Barkaoui, K., and Pradat-Peyre, J.: ' On liveness and controlled siphons in Petri nets ', Reisig, Petri nets, theory and application, (Springer-Verlag, 1996), 1091, p. 57-72, in LNCS