New petri net structure and its application to optimal supervisory control: Interval inhibitor arcs

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 44, Issue 10, 2014, Pages 1384-1400

  Chen, Yufeng ^a,b   Li, Zhiwu ^a,c,d   Barkaoui, Kamel ^b   Uzam, Murat ^e  

^a XIDIAN UNIVERSITY   (China)

^b University of Paris Cité   (France)

^c MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^d KING ABDULAZIZ UNIVERSITY   (Saudi Arabia)

^e MELIKSAH UNIVERSITY   (Turkey)

Author keywords

Deadlock; flexible manufacturing system; interval inhibitor arc; Petri net; supervisory control

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; SUPERVISORY PERSONNEL;

DEADLOCK; FORMAL DEFINITION; INHIBITOR ARCS; INTERVAL INHIBITOR ARC; ITS APPLICATIONS; OPTIMAL SUPERVISORY CONTROL; PETRI NET MODELS; SUPERVISORY CONTROL;

PETRI NETS;

EID: 84907208736     PISSN: 21682216     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2014.2307284     Document Type: Article

References (44)

1. Y. F. Chen, Z. W. Li, M. Khalgui, and O. Mosbahi, "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
2. 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, 2011
3. Y. F. Chen, Z. W. Li, and M. C. Zhou, "Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 42, no. 3, pp. 615-629, May 2012
4. Y. F. Chen and Z. W. Li, "On structural minimality of optimal supervisors for flexible manufacturing systems," Automatica, vol. 48, no. 10, pp. 2647-2656, 2012
5. Y. F. Chen, Z. W. Li, and A. Al-Ahmari, "Nonpure Petri net supervisors for optimal deadlock control of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. Syst., vol. 43, no. 2, pp. 252-265, Mar. 2013
6. Y. F. Chen and Z. W. Li, Optimal Supervisory Control of Automated Manufacturing Systems. New York, NY, USA: CRC Press, Taylor & Francis Group, 2013
7. Y. F. Chen, Z. W. Li, and M. C. Zhou, "Optimal supervisory control of flexible Manufacturing systems by Petri nets: A set classification approach," IEEE Trans. Autom. Sci. Eng., doi: 10.1109/TASE.2013.2241762
8. E. G. Coffman, M. J. Elphick, and A. Shoshani, "Systems deadlocks," ACM Comput. Surveys, vol. 3, no. 2, pp. 67-78, 1971
9. J. Ezpeleta, J. M. Colom, and J. A. Martinez, "Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995
10. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, vol. 34, no. 1, pp. 5-22, Jan. 2004
11. 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
12. 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, Jul. 2010
13. Y. S. Huang, M. D. Jeng, X. L. Xie, and D. H. Chung, "Siphon-based deadlock prevention for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, vol. 36, no. 6, pp. 1248-1256, Nov. 2006
14. Y. S. Huang, Y. L. Pan, and M. C. Zhou, "Computationally improved optimal deadlock control policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 42, no. 2, pp. 404-415, Mar. 2012
15. M. D. Jeng and X. L. Xie, "Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons," in Deadlock Resolution in Computer-Integrated Systems, M. C. Zhou and M. P. Fanti, Eds. New York, NY, USA: Marcel-Dekker, 2005, pp. 233-281
16. 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, vol. 34, no. 1, pp. 38-51, Jan. 2004
17. 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
18. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 38, no. 2, pp. 369-384, Mar. 2008
19. 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, vol. 38, no. 1, pp. 133-148, Jan. 2008
20. 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
21. Z. W. Li, 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. C, vol. 38, no. 2, pp. 173-188, Mar. 2008.
22. Z. W. Li and H. S. Hu, "On systematic methods to remove redundant monitors from liveness-enforcing net supervisors," Comput. Ind. Eng., vol. 56, no. 1, pp. 53-62, 2009
23. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U.K.: Springer, 2009
24. 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, vol. 42, no. 1, pp. 178-191, Jan. 2012
25. 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, vol. 42, no. 4, pp. 437-462, Jul. 2012
26. D. Liu, Z. W. Li, and M. C. Zhou, "Liveness of an extended S3PR," Automatica, vol. 46, no. 6, pp. 1008-1018, 2010
27. D. Liu, Z. W. Li, and M. C. Zhou, "Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. Syst., vol. 43, no. 1, pp. 85-97, Jan. 2013
28. T. Murata, "Petri nets: Properties, analysis and application," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989
29. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, Oct. 2001
30. L. Piroddi, R. Cordone, and I. Fumagalli, "Selective siphon control for deadlock prevention in Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 38, no. 6, pp. 1337-1348, Nov. 2008
31. L. Piroddi, R. Cordone, and I. Fumagalli, "Combined siphon and marking generation for deadlock prevention in Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 39, no. 3, pp. 650-661, May 2009
32. F. Tricas and J. Martinez, "An extension of the liveness theory for concurrent sequential processes competing for shared resources," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 1995, pp. 3035-3040
33. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpelata, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems," in Proc. IEEE Int. Conf. Robot. Automat., Apr. 2005, pp. 271-277
34. 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, 2002
35. 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
36. 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, vol. 37, no. 3, pp. 362-371, May 2007
37. S. G. Wang, C. Y. Wang, and M. C. Zhou, "Controllability conditions of resultant siphons in a class of Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 42, no. 5, pp. 1206-1215, Sep. 2012
38. N. Q. Wu, M. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, vol. 38, no. 1, pp. 56-69, Jan. 2008
39. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource-Oriented Petri Nets. New York, NY, USA: CRC Press, 2010
40. K. Y. Xing, M. C. Zhou, H. X. Liu, and F. Tian, "Optimal Petri-netbased polynomial-complexity deadlock-avoidance policies for automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, vol. 39, no. 1, pp. 188-199, Jan. 2009
41. K. Y. Xing, M. C. Zhou, F. Wang, H. X. Liu, and F. Tian, "Resourcetransition circuits and siphons for deadlock control of automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, vol. 41, no. 1, pp. 74-84, Jan. 2011
42. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, 1996
43. C. F. Zhong, Z. W. Li, Y. F. Chen, and A. M. Al-Ahmari, "On nonexistence of a maximally permissive liveness-enforcing pure net supervisor," IEEE Trans. Syst., Man, Cybern. Syst., vol. 43, no. 1, pp. 29-37, Jan. 2013
44. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.