Self-liveness of a class of Petri net models for flexible manufacturing systems

IET Control Theory and Applications

Volumn 4, Issue 3, 2010, Pages 403-410

  Zhong, C ^a   Li, Z ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK CONTROL POLICY; LIVENESS; PETRI NET MODELS; SEQUENTIAL PROCESS; STRICT MINIMAL SIPHON; SUFFICIENT CONDITIONS;

GRAPH THEORY; PETRI NETS; SIPHONS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 77749273789     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta.2008.0193     Document Type: Article

References (19)

1. Zhou, M.C., and Venkatesh, K.: ' Modeling, simulation and control of flexible manufacturing systems: a Petri net approach ', (World Scientific, Singapore, 1998)
2. Zhou, M.C., and DiCesare, F.: ' Petri net synthesis for discrete event control of manufacturing systems1 ', (Kluwer, Boston, MA, 1993)
3. Abdallah, I.B., and EiMaraghy, H.A.: ' Deadlock prevention and avoidance in FMS: a Petri net based approach ', Int. J. Manuf. Technol., 1998, 14, (10), p. 704-715
4. Chu, F., and Xie, X.L.: ' Deadlock analysis of Petri nets using siphons and mathematical programming ', IEEE Trans. Robot. Autom., 1997, 13, (6), p. 793-804 1042-296X
5. Ezpeleta, J., García-Vallés, F., and Colom, J.M.: ' A class of well structured Petri nets for flexible manufacturing systems ', Proc. 19th Int. Conf. Application and Theory of Petri Nets, Portugal, 1998, p. 64-83
6. Basile, F., Chiacchio, P., Giua, A., and Seatzu, C.: ' Deadlock recovery of Petri net models controlled using observers ', Proc. Eighth IEEE Int. Conf. Emerging Technologies and Factory Automation, October, 2001, p. 441-449
7. Ezpeleta, J., and Recalde, L.: ' A deadlock avoidance approach for non-sequential resource allocation systems ', IEEE Trans. Syst. Man Cybern. A, 2004, 34, (1), p. 93-101 1083-4427
8. Ezpeleta, J., Colom, J.M., and Martinez, J.: ' A Petri net based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1995, 11, (2), p. 173-184 1042-296X
9. Li, Z.W., and Zhou, M.C.: ' Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2004, 34, (1), p. 38-51 1083-4427
10. Reveliotis, S.A.: ' On the siphon-based characterization of liveness in sequential resource allocation systems ', Proc. Int. Conf. Application Theory of Petri Nets, 2003, 2679, p. 241-255
11. Uzam, M.: ' An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions ', Int. J. Adv. Manuf. Technol., 2002, 19, (3), p. 192-208 0268-3768
12. Uzam, M., and Zhou, M.C.: ' An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2007, 37, (3), p. 362-371 1083-4427
13. Uzam, M., and Zhou, M.C.: ' An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems ', Int. J. Prod. Res., 2006, 44, (10), p. 1987-2030 0020-7543
14. Chao, D.Y.: ' Computation of elementary siphons in Petri nets for deadlock control ', Comput. J., 2006, 49, (4), p. 470-479
15. Chao, D.Y.: ' Maximal class of weakly live nets with nonempty siphons ', IEEE Trans. Syst., Man Cybern. B, 2006, 36, (6), p. 1332-1341 1083-4419
16. Murata, T.: ' Petri nets: properties, analysis, and applications ', Proc. IEEE, 1989, 77, (4), p. 541-580 0018-9219
17. Barkaoui, K., and Pradat-Peyre, J.F.: ' On liveness and controlled siphons in Petri nets ', Proc. 17th Int. Conf. Application Theory of Petri Nets, Osaka, Japan, 1996, p. 57-72, 1901
18. 2 ', IET Theory Appl., 2007, 1, (4), p. 933-936
19. INA, Integrated Net Analyzer, a tool package for analysis of Petri nets, Version 2.2, 29, http://www.informatik.hu-berlin.de/starke/ina.html