Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 47, Issue 2, 2017, Pages 364-379

  Chen, YuFeng ^a,b   Li, ZhiWu ^a,c   Barkaoui, Kamel ^b   Wu, NaiQi ^c   Zhou, MengChu ^d,e  

^a XIDIAN UNIVERSITY   (China)

^b Bioinformatique et Chimie Moléculaire   (France)

^c MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^d NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^e KING ABDULAZIZ UNIVERSITY   (Saudi Arabia)

Author keywords

Data inhibitor arc; deadlock; Petri net; supervisory control

Indexed keywords

PETRI NETS; SUPERVISORY PERSONNEL;

CONTROL SPECIFICATIONS; DATA INHIBITOR ARC; DEADLOCK; FORMAL DEFINITION; INHIBITOR ARCS; NOVEL STRUCTURES; OPTIMAL SUPERVISORY CONTROL; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 85009962496     PISSN: 21682216     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2016.2521833     Document Type: Conference Paper

References (69)

1. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Syst. Man Cybern. Intell. Syst. 21st Century, vol. 5. Vancouver, BC, Canada, 1995, pp. 4119-4124.
2. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proc. IEEE Int. Conf. Syst. Man Cybern. Comput. Cybern. Simulat., vol. 4. Orlando, FL, USA, 1997, pp. 3750-3755.
3. F. Basile, C. Carbone, and P. Chiacchio, "Feedback control logic for backward conflict free choice nets," IEEE Trans. Autom. Control, vol. 52, no. 3, pp. 387-400, Mar. 2007.
4. F. Basile, R. Cordone, and L. Piroddi, "Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models," Automatica, vol. 49, no. 11, pp. 3432-3439, 2013.
5. F. Basile, R. Cordone, and L. Piroddi, "A branch and bound approach for the design of decentralized supervisors in Petri net models," Automatica, vol. 52, pp. 322-333, Feb. 2015.
6. 3PR," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 404-411, Apr. 2011.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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., vol. 11, no. 2, pp. 549-563, Apr. 2014.
13. Y. F. Chen, Z. W. Li, K. Barkaoui, and M. Uzam, "New Petri net structure and its application to optimal supervisory control: Interval inhibitor arcs," IEEE Trans. Syst., Man, Cybern., Syst., vol. 44, no. 10, pp. 1384-1400, Oct. 2014.
14. Y. F. Chen, Z. W. Li, K. Barkaoui, and A. Giua, "On the enforcement of a class of nonlinear constraints on Petri nets," Automatica, vol. 55, pp. 116-124, May 2015.
15. E. G. Coffman, M. J. Elphick, and A. Shoshani, "Systems deadlocks," ACM Comput. Surveys, vol. 3, no. 2, pp. 67-78, 1971.
16. R. Cordone and L. Piroddi, "Parsimonious monitor control of Petri net models of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., Syst., vol. 43, no. 1, pp. 215-221, Jan. 2013.
17. R. Cordone, A. Nazeem, L. Piroddi, and S. Reveliotis, "Designing optimal deadlock avoidance policies for sequential resource allocation systems through classification theory: Existence results and customized algorithms," IEEE Trans. Autom. Control, vol. 58, no. 11, pp. 2772-2787, Nov. 2013.
18. 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.
19. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
20. 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-141, Feb. 2003.
21. A. Giua, "Petri nets as discrete event models for supervisory control," Ph.D. dissertation, Dept. ECSE, Rensselaer Polytech. Inst., Troy, NY, USA, 1992.
22. 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.
23. H. S. Hu and M. C. Zhou, "A Petri net-based discrete-event control of automated manufacturing systems with assembly operations," IEEE Trans. Control Syst. Technol., vol. 23, no. 2, pp. 513-524, Mar. 2015.
24. H. Hu, Y. Liu, and M. C. Zhou, "Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets," IEEE Trans. Control Syst. Technol., vol. 23, no. 5, pp. 2026-2034, Sep. 2015.
25. Y.-S. Huang, M. D. Jeng, X. L. Xie, and D.-H. Chung, "Siphonbased deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1248-1256, Nov. 2006.
26. 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.
27. 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 Inc., 2005, pp. 233-281.
28. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II-Controller synthesis," IEEE Trans. Autom. Control, vol. 39, no. 3, pp. 512-531, Mar. 1994.
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. 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, Appl. Rev., vol. 38, no. 2, pp. 173-188, Mar. 2008.
35. 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.
36. 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., vol. 42, no. 4, pp. 437-462, Jul. 2012.
37. 3PR," Automatica, vol. 46, no. 6, pp. 1008-1018, 2010.
38. H. X. Liu, K. Y. Xing, W. M. Wu, M. C. Zhou, and H. Zou, "Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 3, pp. 519-529, Mar. 2015.
39. J. Luo, H. Ni, W. Wu, S. Wang, and M. C. Zhou, "Simultaneous reduction of Petri nets and linear constraints for efficient supervisor synthesis," IEEE Trans. Autom. Control, vol. 60, no. 1, pp. 88-103, Jan. 2015.
40. Z. Y. Ma, Z. W. Li, and A. Giua, "Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints," IEEE Trans. Autom. Control, vol. 60, no. 7, pp. 1774-1785, Jul. 2015.
41. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
42. A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune, "Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case," IEEE Trans. Autom. Control, vol. 56, no. 8, pp. 1818-1833, Aug. 2011.
43. A. Nazeem and S. A. Reveliotis, "Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory: The non-linear case," IEEE Trans. Autom. Control, vol. 57, no. 7, pp. 1670-1684, Jun. 2012.
44. A. Nazeem and S. Reveliotis, "An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems," in Proc. IEEE Int. Conf. Autom. Sci. Eng., Seoul, Korea, Aug. 2012, pp. 686-693.
45. 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.
46. 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.
47. 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.
48. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
49. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-89, Jan. 1989.
50. 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., Vancouver, BC, Canada, 1995, pp. 3035-3040.
51. 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 Trans. Conf. Robot. Autom., Barcelona, Spain, Apr. 2005, pp. 271-277.
52. 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.
53. 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.
54. 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.
55. 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, Syst., Humans, vol. 42, no. 5, pp. 1206-1215, Sep. 2012.
56. S. G. Wang, M. C. Zhou, and W. H. Wu, "Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems," Asian J. Control, vol. 17, no. 1, pp. 190-201, 2015.
57. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.
58. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets. New York, NY, USA: CRC Press, 2010.
59. N. Q. Wu and M. C. Zhou, "Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 1, pp. 203-209, Jan. 2012.
60. N. Q. Wu and M. C. Zhou, "Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 2, pp. 446-454, Apr. 2012.
61. N. Q. Wu, F. Chu, C. B. Chu, and M. C. Zhou, "Petri net modeling and cycle-time analysis of dual-arm cluster tools with wafer revisiting," IEEE Trans. Syst., Man, Cybern., Syst., vol. 43, no. 1, pp. 196-207, Jan. 2013.
62. N. Q. Wu, M. C. Zhou, F. Chu, and C. B. Chu, "A Petri-net-based scheduling strategy for dual-arm cluster tools with wafer revisiting," IEEE Trans. Syst., Man, Cybern., Syst., vol. 43, no. 5, pp. 1182-1194, Sep. 2013.
63. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Short-term scheduling of crudeoil operations: Enhancement of crude-oil operations scheduling using a Petri net-based control-theoretic approach," IEEE Robot. Autom. Mag., vol. 22, no. 2, pp. 64-76, Jun. 2015.
64. 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, Syst., Humans, vol. 41, no. 1, pp. 74-84, Jan. 2011.
65. 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.
66. J. H. Ye, Z. W. Li, and A. Giua, "Decentralized supervision of Petri nets with a coordinator," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 6, pp. 955-966, Jun. 2015.
67. 3PR with ξ -resources," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 6, pp. 967-975, Jun. 2015.
68. J. F. Zhang et al., "Reconfigurable coordination of distributed discrete event control systems," IEEE Trans. Control Syst. Technol., vol. 23, no. 1, pp. 323-330, Jan. 2015.
69. 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.