On nonexistence of a maximally permissive liveness-enforcing pure net supervisor

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 43, Issue 1, 2013, Pages 29-37

  Zhong, Chun Fu ^a   Li, Zhi Wu ^a   Chen, Yu Feng ^a   Al Ahmari, Abdulrahman ^b  

^a XIDIAN UNIVERSITY   (China)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

Author keywords

Deadlock; Flexible manufacturing systems; Petri nets; Siphon

Indexed keywords

DEADLOCK; P-INVARIANTS; PETRI NET SYSTEMS; SUFFICIENT CONDITIONS;

FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS; SIPHONS;

SUPERVISORY PERSONNEL;

EID: 84879780397     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2192923     Document Type: Article

References (49)

1. I. B. Abdallah and H. A. EIMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Manuf. Technol., vol. 14, no. 10, pp. 704-715, Oct. 1998.
2. E. Badouel and P. Darondeau, "Theory of regions," in Lectures on Petri Nets I: Basic Models, LNCS, W. Reisig and G. Rozenberg, Eds. Berlin, Germany: Springer-Verlag, 1998, pp. 529-586.
3. F. Basile, P. Chiacchio, A. Giua, and C. Seatzu, "Deadlock recovery of Petri net models controlled using observers," in Proc. 8th IEEE Int. Conf. Emerging Technol. Factory Autom., 2001, pp. 441-119.
4. D. Y. Chao, "Max'-controlled siphons for liveness of S3PGR2," IET Control Theory Appl., vol. 1, no. 4, pp. 933-936, Jul. 2007.
5. Y. F. Chen and Z. W. Li, "Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems," Automatica, vol. 47, no. 5, pp. 1028-1034, May 2011.
6. Y. F. Chen, Z. W. Li, and M. Khalgui, "Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 374-393, Apr. 2011.
7. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-Theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 413-421, Jun. 1995.
8. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.
9. J. Ezpeleta, 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, Apr. 1995.
10. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for nonsequential resource allocation systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 93-101, Jan. 2004.
11. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997.
12. M. P. Fanti, B. Maione, and B. Turchiano, "Comparing digraph and Petri net approaches to deadlock avoidance in FMS," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 30, no. 5, pp. 783-798, Oct. 2000.
13. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K.: Springer-Verlag, 2007.
14. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-142, Feb. 2003.
15. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Chicago, IL, 1992, pp. 974-979.
16. H. S. Hu, M. C. Zhou, and Z. W. Li, "Liveness enforcing supervision of video streaming systems using nonsequential Petri nets," IEEE Trans. Multimedia, vol. 11, no. 8, pp. 1457-1465, 2009.
17. H. S. Hu, M. C. Zhou, and Z. W. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, 2010.
18. M. A. Lawley and S. A. Reveliotis, "Deadlock avoidance for sequential resource allocation systems: Hard and ease cases," Int. J. Flexible Manuf. Syst., vol. 12, pp. 385-404, 2001.
19. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
20. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons in Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1227-1229, 2006.
21. Z. W. Li and M. C. Zhou, "Two-stage method for synthesizing livenessenforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans Ind. Informat., vol. 2, no. 4, pp. 313-325, Nov. 2006.
22. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
23. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons in petri nets and their application," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
24. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 369-384, Mar. 2008.
25. Z.W. Li, 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, Jan. 2008.
26. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison of petri net-based deadlock prevention policy for flexiblemanufacturing systems," IEEE Trans. Syst.,Man, Cybern. C, Appl. Rev., vol. 38, no. 2, pp. 173-188, Mar. 2008.
27. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U.K.: Springer-Verlag, 2009.
28. Z. W. Li, G. Y. Liu, M.-H. Hanisch, and M. C. Zhou, "Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.
29. Z. W. Li, N. Q. Wu, and M. C. Zhou, "Deadlock control of automated manufacturing systems based on Petri nets -A literature review," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., DOI:10.1109/ TSMCC.2011.2160626.
30. J. O. Moody, K. Yamalidou, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," in Proc. 33rd IEEE Conf. Decision Control, 1994, vol. 3, pp. 3104-3109.
31. J. O. Moody, P. J. Antsaklis, and M. D. Lemmon, "Automated design of a Petri net feedback controller for a robotic assembly cell," in Proc. INRIA/IEEE Symp. Emerging Technol. Factory Autom., 1995, vol. 2, pp. 117-128.
32. J. O. Moody and P. J. Antsaklis, "Deadlock avoidance in Petri nets with uncontrollable transitions," in Proc. Amer. Control Conf., Jun. 1998, vol. 2, pp. 1257-1258.
33. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Autom. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
34. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
35. L. Piroddi, R. Cordone, and I. Fumagalli, "Selective siphon control for deadlock prevention in Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 6, pp. 1337-1348, Nov. 2008.
36. L. Piroddi, R. Cordone, and I. Fumagalli, "Combined siphon and marking generation for deadlock prevention in Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 3, pp. 650-661, May 2009.
37. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
38. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Autom., vol. 12, no. 6, pp. 845-857, Dec. 1996.
39. M. Uzam, "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., vol. 19, no. 3, pp. 192-208, Feb. 2002.
40. M. Uzam and M. C. Zhou, "An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems," Int. J. Prod. Res., vol. 44, no. 10, pp. 1987-2030, 2006.
41. M. Uzam and M. C. Zhou, "An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 37, no. 3, pp. 362-371, May 2007.
42. M. Uzam, Z. Li, and M. C. Zhou, "Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS," Int. J. Adv. Technol., vol. 35, no. 1/2, pp. 150-168, Nov. 2007.
43. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented Petri nets for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.
44. K. Yamalidou, J. O. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996.
45. C. Zhong and Z. Li, "Self-liveness of a class of Petri net models for flexible manufacturing systems," IET Control Theory Appl., vol. 4, no. 3, pp. 403-410, Mar. 2010.
46. C. F. Zhong, Z. W. Li, and K. Barkaoui, "Monitor design for siphon control in S4R nets: From structure analysis points of view," Int. J. Innovative Comput., Inf. Control, vol. 7, no. 12, pp. 6677-6690, 2011.
47. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.
48. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
49. M. C. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer-Integrated Systems. New York: Marcel Dekker, Jan. 2005.