Design of liveness-enforcing supervisors via transforming plant Petri net models of FMS

Asian Journal of Control

Volumn 12, Issue 3, 2010, Pages 240-252

  Zhong, Chun Fu ^a,b   Li, Zhi Wu ^a,b  

^a XIDIAN UNIVERSITY   (China)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Deadlock prevention; Flexible manufacturing system; Petri net; Siphon

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; SIPHONS; SUPERVISORY PERSONNEL;

CONTROLLED SYSTEM; DEADLOCK PREVENTION; LIVENESS-ENFORCING SUPERVISOR; PETRI NET MODELS; SEQUENTIAL PROCESS; STRICT MINIMAL SIPHON; STRUCTURE ANALYSIS; WEIGHT DISTRIBUTIONS;

PETRI NETS;

EID: 77955376608     PISSN: 15618625     EISSN: None     Source Type: Journal    
DOI: 10.1002/asjc.182     Document Type: Article

References (26)

1. Zhou, M. C. and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach, World Scientific: Singapore (1998).
2. Abdallah, I. B. and H. A. EIMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Manuf. Technol, Vol. 14, No. 10, pp. 704-715(1998).
3. Li, Z. W. and M. C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Inform., Vol. 2, No. 4, pp. 313-325 (2006).
4. Li, Z. W. and M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets," IEEE Trans. Syst. Man Cybern. Part A, Vol. 36, No. 6, pp. 1227-1229(2006).
5. Viswanadham, N., Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., Vol. 6, No. 6, pp. 713-723(1990).
6. Leung, Y. T. and G. Shen, "Resolving deadlocks in flexible manufacturing cells," J. Manuf Syst., Vol. 12, No. 4, pp. 291-304 (1993).
7. Wysk, R. A., N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Autom., Vol. 7, No. 6, pp. 853-859 (1991).
8. Banaszak, Z. A. and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Autom., Vol. 6, No. 6, pp. 724-734 (1990).
9. Lawley, A., "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Robot. Autom., Vol. 15, No. 3, pp. 497-509 (1999).
10. Wu, N. Q., "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst. Man Cybern. Part C, Vol. 29, No. 2, pp. 182-204(1999).
11. Wu, N. Q. and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model," IEEE Trans. Robot. Autom., Vol. 17, No. 5, pp. 658-669(2001).
12. Wu, N. Q. and M. C. Zhou, "Modeling and deadlock control of automated guided vehicle systems," IEEE/ASME Trans. Mechatron., Vol. 9, No. 1, pp. 50-57 (2004).
13. Wu, N. Q. and M. C. Zhou, "Modeling and Deadlock Avoidance of Automated Manufacturing Systems with Multiple Automated Guided Vehicles," IEEE Trans. Syst. Man Cybern. Part B, Vol. 35, No. 6, pp. 1193-1202 (2005).
14. Wu, N. Q. and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots," IEEE Trans. Autom. Sci. Eng., Vol. 4, No. 3, pp. 474-480 (2007).
15. Ezpeleta, J., J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., Vol. 11, No. 2, pp. 173-184 (1995).
16. Li, Z. W. and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. Part A., Vol. 34, No. l,pp. 38-51 (2004).
17. Li, Z. W., M. C. Zhou, and N. Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. Part C, Vol. 38, No. 2, pp. 173-188 (2008).
18. Li, Z. W., H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst. Man Cybern. Part C, Vol. 37, No. 4, pp. 517-526(2007).
19. Li, Z. W., M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., Vol. 5, No. 1, pp. 182-188 (2008).
20. Chao, D. Y., "Computation of elementary siphons in Petri nets for deadlock control," Comp. J. Part, Vol. 49, No. 4, pp. 470-479 (2006).
21. Chao, D. Y., "Maximal class of weakly live nets with nonempty siphons," IEEE Trans. System Man Cybern. Part B, Vol. 36, No. 6, pp. 1332-1341 (2006).
22. Chao, D. Y, "Max'-controlled siphons for liveness of S3PGR2," IET Control Theory and Appi, Vol. 1, No. 4, pp. 933-936 (2007).
23. Zhong, C. F. and Z. W. Li, "On Self-liveness of a Class of Petri Net Models for Flexible Manufacturing Systems," IET Control Theory and Appi, in press.
24. Murata, T., "Petri nets: Properties, analysis, and applications," Proc. IEEE, Vol. 77, No. 4, pp. 541-580(1989).
25. Barkaoui, K. and J. F. Pradat-Peyre, "On liveness and controlled siphons in Petri nets," Proc. 17th Int. Conf. Appl. Theory Petri Nets, Osaka, Japan, pp. 57-72(1996).
26. INA, Integrated Net Analyzer, a tool package for analysis of Petri nets, Version 2.2, 29 at URL: http:// www.informatik.hu-berlin.de/starke/ina.html.