Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2005, Pages 282-287

  Xing, Keyi ^a   Hu, Baosheng ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Deadlock avoidance; Manufacturing system; Optimal controller; Petri net (PN); Supervisor

Indexed keywords

MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

DEADLOCK AVOIDANCE; MANUFACTURING SYSTEM; OPTIMAL CONTROLLER;

CONTROL SYSTEM ANALYSIS;

EID: 27944464412     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Z. A. Banaszak, and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot Automat, Vol. 6, No. 6, 1990.
2. J. Ezpeleta, J.M. Colom, and J. Martinez, "A PN based deadlock prevention policy for FMS," IEEE Trans. Robot Automat, Vol. 11, No.2, 1995.
3. M. P. Fanti, "Deadlock Resolution Strategy for Automated Manufacturing Systems Including Conjunctive Resource Service," IEEE Trans. Syst., Man, Cybern. A, Vol.34, No. 1, 2004.
4. Z. W. Li and M. C. Zhou, "Elementary siphons of PNs and Their Application to Deadlock Prevention in FMS," IEEE Trans. Syst, Man, Cybern. A, Vol. 34, No.1, 2004.
5. M. D. Jeng, F. DiCesare, "Synthesis Using Resource Control Nets for Modeling Shared-Resource Systems," IEEE Trans. Robot Automat, Vol. 11, No. 3, 1995.
6. J. Park and S.A. Reveliotis, "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings," IEEE Trans. Automat Contr., Vol. 46, No.10, 2001.
7. E. Roszkowska, "Supervisory Control for deadlock Avoidance in Compound Process," IEEE Trans. Syst., Man, Cybern. A, Vol. 34, No. 1, 2004.
8. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for PN modeling of FMS with shared resources," IEEE Trans. Automat. Contr., Vol. 41, No. 2, 1996.
9. K. Y. Xing, B. S. Hu, "Liveness Control for Discrete Manufacturing/Assembly Systems," Chinese Journal of Automation, Vol. 11, No. 3, 2000.
10. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.