Optimal supervisory control of automated manufacturing systems

Optimal Supervisory Control of Automated Manufacturing Systems

Volumn , Issue , 2013, Pages 1-187

  Chen, Yu Feng ^a   Li, Zhi Wu ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER PROGRAMMING; PETRI NETS;

AUTOMATED MANUFACTURING SYSTEMS; AUTOMATED PRODUCTION SYSTEMS; DEADLOCK PREVENTION; INTEGER LINEAR PROGRAMMING MODELS; OPTIMAL SUPERVISORY CONTROL; OPTIMAL SUPERVISORY CONTROL PROBLEMS; OPTIMALITY; STATE OF THE ART;

MANUFACTURE;

EID: 85053968399     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1201/b14588     Document Type: Book

References (346)

1. Abdallah, I. B. and H. A. ElMaraghy. 1998. Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology. 14(10): 704–715.
2. Andersen, H. R. 1997. An introduction to binary decision diagrams. Lecture Notes for 49285 Advanced Algorithms E97, Department of Information Technology, Technical University of Denmark.
3. Banaszak, Z. and B. H. Krogh. 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation. 6(6): 724–734.
4. Brant, R. 1992. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys. 24(3): 293–318.
5. Chen, Y. F. and Z. W. Li. 2011. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica. 47(5): 1028–1034.
6. Chen, Y. F., Z. W. Li, M. Khalgui, and O. Mosbahi. 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering. 8(2): 374–393.
7. Chen, Y. F., Z. W. Li, and M. C. Zhou. 2012. Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 42(3): 615–629.
8. Cho, H., T. K. Kumaran, and R. A. Wysk. 1995. Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(3): 413–421.
9. Coffman, E. G., M. J. Elphick, and A. Shoshani. 1971. System deadlocks. ACM Computing Surveys. 3(2): 67–78.
10. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2): 173–184.
11. Ezpeleta, J., F. Tricas, F. Garcia-Valles, and J. M. Colom. 2002. A banker’s solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Transactions on Robotics and Automation. 18(4): 621–625.
12. Ezpeleta, J. and L. Recalde. 2004. A deadlock avoidance approach for nonsequential resource allocation systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 93–101.
13. Fanti, M. P., G. Maione, and B. Turchiano. 1996a. Digraph-theoretic approach for deadlock detection and recovery in flexible production systems. Studies in Informatics and Control. 5(4): 373–383.
14. Fanti, M. P., B. Maione, S. Mascolo, and B. Turchiano. 1996b. Performance of deadlock avoidance algorithms in flexible manufacturing systems. Journal of Manufacturing Systems. 15(3): 164–178.
15. Fanti, M. P., B. Maione, S. Mascolo, and B. Turchiano. 1997. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Transactions on Robotics and Automation. 13(3): 347–363.
16. Fanti, M. P., B. Maione, and B. Turchiano. 1998. Event control for deadlock avoidance in production systems with multiple capacity resources. Studies Informatics and Control. 7(4): 343–364.
17. Fanti, M. P., B. Maione, and B. Turchiano. 2000. Comparing digraph and Petri net approaches to deadlock avoidance in FMS. IEEE Transactions on Systems, Man and Cybernetics, Part B. 30(5): 783–798.
18. Fanti, M. P., G. Maione, and B. Turchiano. 2001. Distributed event-control for deadlock avoidance in automated manufacturing systems. International Journal of Production Research. 39(9): 1993–2021.
19. Fanti, M. P. 2002. Event-based controller to avoid deadlock and collisions in zone control AGVs. International Journal of Production Research. 40(6): 1453–1478.
20. Fanti, M. P., G. Maione, and B. Turchiano. 2002. Design of supervisors to avoid deadlock in flexible assembly systems. International Journal of Flexible Manufacturing Systems. 14(2): 157–175.
21. Fanti, M. P. and M. C. Zhou. 2004. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 5–22.
22. Fanti, M. P. and M. C. Zhou. Deadlock control methods in automated manufacturing systems. pp. 1–22. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems, New York: Marcel-Dekker Co.
23. Ghaffari, A., N. Rezg, and X. L. Xie. 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation. 19(1): 137–142.
24. Gligor, V. and S. Shattuck. 1980. On deadlock detection in distributed systems. IEEE Transactions on Software Engineering. 7(3): 320–336.
25. Hruz, B. and M. C. Zhou. 2007. Modeling and Control of Discrete Event Dynamic Systems. Springer, London, UK.
26. Hsieh, F. S. and S. C. Chang. 1994. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 10(2): 196–209.
27. Hsieh, F. S. 2004. Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Transactions Systems, Man, and Cybernetics, Part A. 34(1): 65–79.
28. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung. 2001. Deadlock prevention based on Petri nets and siphons. International Journal of Production Research. 39(2): 283–305.
29. Huang, Y. S., M. D. Jeng, X. L. Xie, and D. H. Chung. 2006. Siphon-based deadlock prevention for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 36(6): 1248–1256.
30. Jeng, M. D. and X. L. Xie. Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons. pp. 233–281. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Co.
31. Kumaran, T. K., W. Chang, H. Cho, and A. Wysk. 1994. A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. International Journal of Production Research. 32(10): 2361–2379.
32. Lautenbach, K. and H. Ridder. 1996. The linear algebra of deadlock avoidance—A Petri net approach. No. 25–1996, Technical Report, Institute of Software Technology, University of Koblenz-Landau, Koblenz, Germany.
33. Lawley, M. A., S. A. Reveliotis, and P. M. Ferreira. 1997a. Design guidelines for deadlock-handling strategies in flexible manufacturing systems. International Journal of Flexible Manufacturing Systems. 9(1): 5–29.
34. Lawley, M. A., S. A. Reveliotis, and P. M. Ferreira. 1997b. Flexible manufacturing system structural control and the Neighborhood Policy. part 1: Correctness and scalability. IIE Transactions. 29(10): 877–887.
35. Lawley, M. A., S. A. Reveliotis, and P. M. Ferreira. 1997c. Flexible manufacturing system structural control and the Neighborhood Policy, part 2: Generalization, optimization, and efficiency. IIE Transactions. 29(10): 889–899.
36. Lawley, M. A., S. A. Reveliotis, P. M. Ferreira. 1998a. A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 14(5): 796–809.
37. Lawley, M. A., S. A. Reveliotis, and P. M. Ferreira. 1998b. The application and evaluation of banker’s algorithm for deadlock-free buffer space allocation in flexible manufacturing systems. International Journal of Flexible Manufacturing Systems. 10(1): 73–100.
38. Lawley, M. A. 1999. Deadlock avoidance for production systems with flexible routing. IEEE Transactions on Robotics and Automation. 15(3): 497–509.
39. Lawley, M. A. 2000. Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems. International Journal of Production Research. 38(13): 2931–2950.
40. Lawley, M. A. and S. A. Reveliotis. 2001. Deadlock avoidance for sequential resource allocation systems: Hard and easy cases. International Journal of Flexible Manufacturing Systems. 13(4): 385–404.
41. Lawley, M. A. and W. Sulistyono. 2002. Robust supervisory control policies for manufacturing systems with unreliable resources. IEEE Transactions on Robotics and Automation. 18(3): 346–359.
42. Li, Z. W., H. S. Hu, and A. R. Wang. 2007. Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 37(4): 517–526.
43. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
44. Li, Z. W. and M. C. Zhou. 2005. Comparison of two deadlock prevention methods for different-size flexible manufacturing systems. International Journal of Intelligent Control Systems. 10(3): 235–243.
45. Li, Z. W. and M. C. Zhou. 2006a. Clarifications on the definitions of elementary siphons of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 36(6): 1227–1229.
46. Li, Z. W. and M. C. Zhou. 2006b. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics. 2(4): 313–325.
47. Li, Z. W., M. C. Zhou, and M. D. Jeng. 2008a. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering. 5(1): 182–188.
48. Li, Z. W., M. C. Zhou, and N. Q. Wu. 2008b. A survey and comparison of Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 38(2): 173–188.
49. Li, Z. W. and M. C. Zhou. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, London, UK.
50. Li, Z. W., M. C. Zhou, and N. Q. Wu. 2012. Deadlock control for automated manufacturing systems based on Petri nets—A literature review. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 42(4): 437–462.
51. Miner, A. S. and G. Ciardo. 1999. Efficient reachability set generation and storage using decision diagrams. Lecture Notes in Computer Science. 1639: 6–25.
52. Murata, T. 1989. Petri nets: Properties, analysis and application. Proceedings of the IEEE. 77(4): 541–580.
53. Park, J. and S. A. Reveliotis. 2000. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automation. 16(2): 190–195.
54. Park, J. and S. A. Reveliotis. 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control. 46(10): 1572–1583.
55. Pastor, E., O. Roig, J. Cortadella, and R. M. Badia. 1994. Petri net analysis using Boolean manipulation. Lecture Notes in Computer Science. 815: 416–435.
56. Pastor, E., J. Cortadella, and O. Roig. 2001. Symbolic analysis of bounded Petri nets. IEEE Transactions on Computers. 50(5): 432–448.
57. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
58. Piroddi, L., R. Cordone, and I. Fumagalli. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A. 39(3): 650–661.
59. Ramadge, P. and W. M. Wonham. 1987. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization. 25(1): 206–230.
60. Ramadge, P. and W. M. Wonham. 1989. The control of discrete event systems. Proceedings of the IEEE. 77(1): 81–89.
61. Reveliotis, S. A. and P. M. Ferreira. 1996. Deadlock avoidance policies for automated manufacturing cells. IEEE Transactions on Robotics and Automation. 12(6): 845–857.
62. Reveliotis, S. A., M. A. Lawley, and P. M. Ferreira. 1997. Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control. 42(10): 1344–1357.
63. Reveliotis, S. A. 2007. Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 37(3): 319–328.
64. Starke, P. H. 2003. INA: Integrated Net Analyzer. http://www2.informatik.huberlin.de/starke/ina.html.
65. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. 1998. A structural approach to the problem of deadlock prevention in processes with resources, pp. 273–278. In Proceedings of WODES’98, Italy, 26–28 August.
66. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. An iterative method for deadlock prevention in FMS. pp. 139–148. In G. Stremersch [ed.]. 2000. Discrete Event Systems: Analysis and Control, Kluwer Academic, Boston MA.
67. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology. 19(3): 192–208.
68. Uzam, M. and M. C. Zhou. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research. 44(10): 1987–2030.
69. Viswanadham, N., Y. Narahari, and T. Johnson. 1990. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation. 6(6): 713–723.
70. Wu, N. Q. 1999. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 29(2): 192–204.
71. Wu, N. Q. and M. C. Zhou. 2001. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Transactions on Robotics and Automation. 17(5): 658–669.
72. Wu, N. Q. and M. C. Zhou. 2005. Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Transactions on Systems, Man, and Cybernetics, Part B. 35(6): 1193–1202.
73. Wu, N. Q. and M. C. Zhou. 2010. System Modeling and Control with Resource-Oriented Petri Nets. CRC Press, New York.
74. Wysk, R. A., N. S. Yang, and S. Joshi. 1991. Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation. 7(6): 853–859.
75. Wysk, R. A., N. S. Yang, and S. Joshi. 1994. Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches. Journal of Manufacturing Systems. 13(2): 128–138.
76. Xing, K. Y., B. S. Hu, and H. X. Chen. Deadlock avoidance policy for flexible manufacturing systems. pp. 239–263. In M. C. Zhou [ed]. 1995. Petri Nets in Flexible and Agile Automation, Kluwer Academic, Boston MA.
77. Xing, K. Y., B. S. Hu, and H. X. Chen. 1996. Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control. 41(2): 289–295.
78. Yalcin, A. and T. O. Boucher. 2000. Deadlock avoidance in flexible manufacturing systems using finite automata. IEEE Transactions on Robotics and Automation. 16(4): 424–429.
79. Yamalidou, K. J., Moody, M. Lemmon, and P. Antsaklis. 1996. Feedback control of Petri nets based on place invariants. Automatica. 32(1): 15–28.
80. Zhou, M. C. and F. DiCesare. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, London, UK.
81. Zhou, M. C. and K. Venkatesh. 1998. Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific, Singapore.
82. Chao, D. Y. 2006b. Searching strict minimal siphons for SNC-based resource allocation systems. Journal of Information Science and Engineering. 23(3): 853–867.
83. Chen, Y. F. and Z. W. Li. 2011. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica. 47(5): 1028–1034.
84. Chen, Y. F., Z. W. Li, M. Khalgui, and O. Mosbahi. 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering. 8(2): 374–393.
85. Coffman, E. G., M. J. Elphick, and A. Shoshani. 1971. System deadlocks. ACM Computing Surveys. 3(2): 67–78.
86. Cordone, R., L. Ferrarini, and L. Piroddi. 2005. Enumeration algorithms for minimal siphons in Petri nets based on place constraints. IEEE Transactions on System, Man and Cybernetics, Part A. 35(6): 844–854.
87. Desel, J. and J. Esparza. 1995. Free Choice Petri Nets. Cambridge University Press, London, UK.
88. Ezpeleta, J., J. M. Couvreur, and M. Silva. 1993. A new technique for finding a generating family of siphons, traps, and st-components: Application to colored Petri nets. Lecture Notes in Computer Science. 674: 126–147.
89. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2): 173–184.
90. Somenzi, F. 2005. CUDD: CU Decision Diagram Package Release 2.4.2. University of Colorado at Boulder.
91. Fanti, M. P., B. Maione, and B. Turchiano. 2000. Comparing digraph and Petri net approaches to deadlock avoidance in FMS. IEEE Transactions on Systems, Man and Cybernetics, Part B. 30(5): 783–798.
92. Fanti, M. P. and M. C. Zhou. 2004. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 5–22.
93. Fanti, M. P. and M. C. Zhou. Deadlock control methods in automated manufacturing systems. pp. 1–22. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Co.
94. Ghaffari, A., N. Rezg, and X. L. Xie. 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation. 19(1): 137–142.
95. Hu, H. S., M. C. Zhou, and Z. W. Li. 2010. Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Transactions on Automation Science and Engineering. 7(4): 933–944.
96. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung. 2001. Deadlock prevention based on Petri nets and siphons. International Journal of Production Research. 39(2): 283–305.
97. Huang, Y. S., M. D. Jeng, X. L. Xie, and D. H. Chung. 2006. Siphon-based deadlock prevention for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 36(6): 1248–1256.
98. Jeng, M. D. and X. L. Xie. Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons. pp. 233–281. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Inc.
99. Li, Z. W., H. S. Hu, and A. R. Wang. 2007. Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 37(4): 517–526.
100. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
101. Li, Z. W. and M. C. Zhou. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, London, UK.
102. Lind-Nielsen, J. 2002. BuDDy: Binary Decision Diagram Package Release 2.2. IT-University of Copenhagen (ITU).
103. Miner, A. S. and G. Ciardo. 1999. Efficient reachability set generation and storage using decision diagrams. Lecture Notes in Computer Science. 1639: 6–25.
104. Murata, T. 1989. Petri nets: Properties, analysis and application. Proceedings of the IEEE. 77(4): 541–580.
105. Pastor, E., J. Cortadella, and O. Roig. 2001. Symbolic analysis of bounded Petri nets. IEEE Transactions on Computers. 50(5): 432–448.
106. Pastor, E., O. Roig, J. Cortadella, and R. M. Badia. 1994. Petri net analysis using Boolean manipulation. Lecture Notes in Computer Science. 815: 416–435.
107. Peterson, J. L. 1977. Petri nets. Computing Surveys. 9(3): 223–252.
108. Peterson, J. L. 1981. Petri Net Theory and the Modeling of Systems. Englewood Cliffs: Prentice-Hall.
109. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
110. Piroddi, L., R. Cordone, and I. Fumagalli. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A. 39(3): 650–661.
111. Ramadge, P. and W. M. Wonham. 1987. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization. 25(1): 206–230.
112. Ramadge, P. and W. M. Wonham. 1989. The control of discrete event systems. Proceedings of the IEEE. 77(1): 81–89.
113. Reisig, W. 1985. Petri Nets: An Introduction. Springer-Verlag, Newyork USA.
114. Reveliotis, S. A. 2007. Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 37(3): 319–328.
115. Starke, P. H. 2003. INA: Integrated Net Analyzer. http://www2.informatik.huberlin.de/starke/ina.html.
116. Uzam, M. and M. C. Zhou. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research. 44(10): 1987–2030.
117. Uzam, M. and M. C. Zhou. 2007. An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A. 37(3): 362–371.
118. Wang, A. R., Z. W. Li, J. Y. Jia, and M. C. Zhou. 2009. An effective algorithm to find elementary siphons in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 39(4): 912–923.
119. Wikipedia. Petri Net. http://en.wikipedia.org/wiki/Petri net.
120. Wu, N. Q. 1999. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 29(2): 192–204.
121. Wu, N. Q. and M. C. Zhou. 2010. System Modeling and Control with Resource-Oriented Petri Nets. CRC Press, New York.
122. Zhou, M. C. and F. DiCesare. 1991. Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation. 7(4): 515–527.
123. Zhou, M. C., F. DiCesare, and A. A. Desrochers. 1992. A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Transactions on Robotics and Automation. 8(3): 350–361.
124. Zhou, M. C. and F. DiCesare. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, London, UK.
125. Zhou, M. C. and K. Venkatesh. 1998. Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific, Singapore.
126. Andersen, H. R. 1997. An introduction to binary decision diagrams. Lecture Notes for 49285 Advanced Algorithms E97, Department of Information Technology, Technical University of Denmark.
127. Brant, R. 1992. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys. 24(3): 293–318.
128. Chao, D. Y. 2006a. Computation of elementary siphons in Petri nets for deadlock control. Computer Journal. 49(4): 470–479.
129. Chao, D. Y. 2006b. Searching strict minimal siphons for SNC-based resource allocation systems. Journal of Information Science and Engineering. 23(3): 853–867.
130. Chen, Y. F., Z. W. Li, M. Khalgui, and O. Mosbahi. 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering. 8(2): 374–393.
131. Chen, Y. F. and G. Y. Liu. 2013. Computation of minimal siphons in Petri nets by using binary decision diagrams. ACM Transactions on Embedded Computing Systems. 12(1).
132. Cordone, R., L. Ferrarini, and L. Piroddi. 2005. Enumeration algorithms for minimal siphons in Petri nets based on place constraints. IEEE Transactions on System, Man and Cybernetics, Part A. 35(6): 844–854.
133. Couvreur, J. M., E. Encrenaz, E. Paviot-Adet, D. Poitrenaud, and P. A. Wacrenier. 2002. Data decision diagrams for Petri net analysis. Lecture Notes in Computer Science. 2360: 129–158.
134. Ezpeleta, J., J. M. Couvreur, and M. Silva. 1993. A new technique for finding a generating family of siphons, traps, and st-components: Application to colored Petri nets. Lecture Notes in Computer Science. 674: 126–147.
135. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2): 173–184.
136. Ezpeleta, J. and L. Recalde. 2004. A deadlock avoidance approach for nonsequential resource allocation systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 93–101.
137. Ghaffari, A., N. Rezg, and X. L. Xie. 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation. 19(1): 137–142.
138. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung. 2001. Deadlock prevention based on Petri nets and siphons. International Journal of Production Research. 39(2): 283–305.
139. Jeng, M. D. and X. L. Xie. Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons. pp. 233–281. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Inc.
140. Kumaran, T. K., W. Chang, H. Cho, and A. Wysk. 1994. A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. International Journal of Production Research. 32(10): 2361–2379.
141. Li, Z. W., H. S. Hu, and A. R. Wang. 2007. Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 37(4): 517–526.
142. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
143. Li, Z. W. and M. C. Zhou. 2006. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics. 2(4): 313–325.
144. Li, Z. W. and M. C. Zhou. 2008. Control of elementary and dependent siphons in Petri nets and their application. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(1): 133–148.
145. Li, Z. W., M. C. Zhou, and M. D. Jeng. 2008. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering. 5(1): 182–188.
146. Lind-Nielsen, J. 2002. BuDDy: Binary Decision Diagram Package Release 2.2. IT-University of Copenhagen (ITU).
147. Minato, S. 2000. Zero-suppressed BDDs and their applications. International Journal on Software Tools for Technology Transfer. 3(2): 156–170.
148. Miner, A. S. and G. Ciardo. 1999. Efficient reachability set generation and storage using decision diagrams. Lecture Notes in Computer Science. 1639: 6–25.
149. Pastor, E., O. Roig, J. Cortadella, and R. M. Badia. 1994. Petri net analysis using Boolean manipulation. Lecture Notes in Computer Science. 815: 416–435.
150. Pastor, E., J. Cortadella, and O. Roig. 2001. Symbolic analysis of bounded Petri nets. IEEE Transactions on Computers. 50(5): 432–448.
151. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
152. Starke, P. H. 2003. INA: Integrated Net Analyzer. http://www2.informatik.huberlin.de/starke/ina.html.
153. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. An iterative method for deadlock prevention in FMS. pp. 139–148. In G. Stremersch [ed.]. 2000. Discrete Event Systems: Analysis and Control, Kluwer Academic, Boston MA.
154. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology. 19(3): 192–208.
155. Uzam, M. and M. C. Zhou. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research. 44(10): 1987–2030.
156. Wang, A. R., Z. W. Li, J. Y. Jia, and M. C. Zhou. 2009. An effective algorithm to find elementary siphons in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 39(4): 912–923.
157. Wu, N. Q. 1999. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 29(2): 192–204.
158. Wu, N. Q. and M. C. Zhou. 2001. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Transactions on Robotics and Automation. 17(5): 658–669.
159. Xing, K. Y., B. S. Hu, and H. X. Chen. 1996. Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control. 41(2): 289–295.
160. Yamalidou, K. J., Moody, M. Lemmon, and P. Antsaklis. 1996. Feedback control of Petri nets based on place invariants. Automatica. 32(1): 15–28.
161. Zhou, M. C. and F. DiCesare. 1991. Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation. 7(4): 515–527.
162. Andersen, H. R. 1997. An introduction to binary decision diagrams. Lecture Notes for 49285 Advanced Algorithms E97, Department of Information Technology, Technical University of Denmark.
163. Badouel, E. and P. Darondeau. Theory of regions. pp. 529–586. In W. Reisig and G. Rozenberg, [eds.]. 1998. Lectures on Petri Nets I: Basic Models, Lecture Notes in Compute Science. Berlin: Springer-Verlag, Germany.
164. Barkaoui, K. and B. Lemaire. 1989. An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory, 1–21. In Procedings of the 10th International conference on Application and Theory of Petri Nets, Bonn, Germany.
165. Brant, R. 1992. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys. 24(3): 293–318.
166. Coffman, E. G., M. J. Elphick, and A. Shoshani. 1971. System deadlocks. ACM Computing Surveys. 3(2): 67–78.
167. Cormen, T. H., C. E. Leiserson, and R. L. Rivest. 1992. Introduction to Algorithms. The MIT Press/MacGraw–Hill Book Company.
168. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2): 173–184.
169. Fanti, M. P. and M. C. Zhou. 2004. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 5–22.
170. Fanti, M. P. and M. C. Zhou. Deadlock control methods in automated manufacturing systems. pp. 1–22. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Co.
171. Ghaffari, A., N. Rezg, and X. L. Xie. 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation. 19(1): 137–142.
172. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung. 2001. Deadlock prevention based on Petri nets and siphons. International Journal of Production Research. 39(2): 283–305.
173. Huang, Y. S., Y. L. Pan, and M. C. Zhou. 2012. Computationally improved optimal deadlock control policy for flexible manufacturing systems. IEEE Transactions Systems, Man, and Cybernetics, Part A. 42(2): 404–415.
174. Jeng, M. D. and X. L. Xie. Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons. pp. 233–281. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Inc.
175. Lautenbach, K. and H. Ridder. 1994. Liveness in bounded Petri nets which are covered by T-invariants. Lecture Notes in Computer Science. 815: 358–375.
176. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
177. Li, Z. W. and M. C. Zhou. 2006. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics. 2(4): 313–325.
178. Li, Z. W., M. C. Zhou, and M. D. Jeng. 2008. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering. 5(1): 182–188.
179. Pastor, E., O. Roig, J. Cortadella, and R. M. Badia. 1994. Petri net analysis using Boolean manipulation. Lecture Notes in Computer Science. 815: 416–435.
180. Pastor, E., J. Cortadella, and O. Roig. 2001. Symbolic analysis of bounded Petri nets. IEEE Transactions on Computers. 50(5): 432–448.
181. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
182. Piroddi, L., R. Cordone, and I. Fumagalli. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A. 39(3): 650–661.
183. Reveliotis, S. A. and J. Y. Choi. 2006. Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions. Lecture Notes in Computer Science. 4024: 322–341.
184. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology. 19(3): 192–208.
185. Uzam, M. 2004. The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. International Journal of Advanced Manufacturing Technology. 23(3–4): 204–219.
186. Uzam, M. and M. C. Zhou. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research. 44(10): 1987–2030.
187. Viswanadham, N., Y. Narahari, and T. Johnson. 1990. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation. 6(6): 713–723.
188. Yamalidou, K. J., Moody, M. Lemmon, and P. Antsaklis. 1996. Feedback control of Petri nets based on place invariants. Automatica. 32(1): 15–28.
189. Andersen, H. R. 1997. An introduction to binary decision diagrams. Lecture Notes for 49285 Advanced Algorithms E97, Department of Information Technology, Technical University of Denmark.
190. Banaszak, Z. and B. H. Krogh. 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation. 6(6): 724–734.
191. Brant, R. 1992. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys. 24(3): 293–318.
192. Chen, Y. F., Z. W. Li, M. Khalgui, and O. Mosbahi. 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering. 8(2): 374–393.
193. Cordone, R., L. Ferrarini, and L. Piroddi. 2005. Enumeration algorithms for minimal siphons in petri nets based on place constraints. IEEE Transactions on System, Man and Cybernetics, Part A. 35(6): 844–854.
194. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2): 173–184.
195. Ezpeleta, J., F. Tricas, F. Garcia-Valles, and J. M. Colom. 2002. A banker’s solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Transactions on Robotics and Automation. 18(4): 621–625.
196. Ghaffari, A., N. Rezg, and X. L. Xie. 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation. 19(1): 137–142.
197. Hsieh, F. S. and S. C. Chang. 1994. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 10(2): 196–209.
198. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung. 2001. Deadlock prevention based on Petri nets and siphons. International Journal of Production Research. 39(2): 283–305.
199. Huang, Y. S., M. D. Jeng, X. L. Xie, and D. H. Chung. 2006. Siphon-based deadlock prevention for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 36(6): 1248–1256.
200. Lautenbach, K. and H. Ridder. 1994. Liveness in bounded Petri nets which are covered by T-invariants. Lecture Notes in Computer Science. 815: 358–375.
201. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
202. Li, Z. W. and M. C. Zhou. 2008. Control of elementary and dependent siphons in Petri nets and their application. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(1): 133–148.
203. Li, Z. W., M. C. Zhou, and M. D. Jeng. 2008. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering. 5(1): 182–188.
204. Lind-Nielsen, J. 2002. BuDDy: Binary Decision Diagram Package Release 2.2. IT-University of Copenhagen (ITU).
205. Miner, A. S. and G. Ciardo. 1999. Efficient reachability set generation and storage using decision diagrams. Lecture Notes in Computer Science. 1639: 6–25.
206. Murata, T. 1989. Petri nets: Properties, analysis and application. Proceedings of the IEEE. 77(4): 541–580.
207. Park, J. and S. A. Reveliotis. 2000. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automation. 16(2): 190–195.
208. Park, J. and S. A. Reveliotis. 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control. 46(10): 1572–1583.
209. Pastor, E., O. Roig, J. Cortadella, and R. M. Badia. 1994. Petri net analysis using Boolean manipulation. Lecture Notes in Computer Science. 815: 416–435.
210. Pastor, E., J. Cortadella, and O. Roig. 2001. Symbolic analysis of bounded Petri nets. IEEE Transactions on Computers. 50(5): 432–448.
211. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
212. Piroddi, L., R. Cordone, and I. Fumagalli. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A. 39(3): 650–661.
213. Starke, P. H. 2003. INA: Integrated Net Analyzer. http://www2.informatik.huberlin.de/starke/ina.html.
214. Tricas, F. and J. Martinez. 1995. An extension of the liveness theory for concurrent sequential processes competing for shared resources, 3035–3040. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Vancouver, British Columbia, Canada, Oct. 22–25.
215. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. 1998. A structural approach to the problem of deadlock prevention in processes with resources, 273–278. In Proceedings of WODES’98, Italy, 26–28 August.
216. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. An iterative method for deadlock prevention in FMS. pp. 139–148. In G. Stremersch [ed.]. 2000. Discrete Event Systems: Analysis and Control, Kluwer Academic, Boston MA.
217. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology. 19(3): 192–208.
218. Uzam, M. and M. C. Zhou. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research. 44(10): 1987–2030.
219. Uzam, M. and M. C. Zhou. 2007. An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A. 37(3): 362–371.
220. Xing, K. Y., B. S. Hu, and H. X. Chen. Deadlock avoidance policy for flexible manufacturing systems. pp. 239–263. In M. C. Zhou [ed.]. 1995. Petri Nets in Flexible and Agile Automation, Kluwer Academic, Boston MA.
221. Yamalidou, K. J., Moody, M. Lemmon, and P. Antsaklis. 1996. Feedback control of Petri nets based on place invariants. Automatica. 32(1): 15–28.
222. Zhou, M. C. and F. DiCesare. 1991. Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation. 7(4): 515–527.
223. Chen, Y. F. and Z. W. Li. 2011. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica. 47(5): 1028–1034.
224. Chen, Y. F., Z. W. Li, M. Khalgui, and O. Mosbahi. 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering. 8(2): 474–493.
225. Chen, Y. F., Z. W. Li, and M. C. Zhou. 2012a. Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems. International Journal of Production Research. 50(22): 6357–6371.
226. Chen, Y. F., Z. W. Li, and M. C. Zhou. 2012b. Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 42(3): 615–629.
227. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2): 173–184.
228. Ghaffari, A., N. Rezg, and X. L. Xie. 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation. 19(1): 137–142.
229. Hu, H. S., M. C. Zhou, and Z. W. Li. 2010. Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Transactions on Automation Science and Engineering. 7(4): 933–944.
230. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung. 2001. Deadlock prevention based on Petri nets and siphons. International Journal of Production Research. 39(2): 283–305.
231. Lautenbach, K. and H. Ridder. 1994. Liveness in bounded Petri nets which are covered by T-invariants. Lecture Notes in Computer Science. 815: 358–375.
232. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
233. Li, Z. W., H. S. Hu, and A. R. Wang. 2007. Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C. 37(4): 517–526.
234. Li, Z. W. and M. C. Zhou. 2006. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics. 2(4): 313–325.
235. Li, Z. W. and M. C. Zhou. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Berlin: Springer-Verlag.
236. Li, Z. W., M. C. Zhou, and M. D. Jeng. 2008. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering. 5(1): 182–188.
237. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
238. Piroddi, L., R. Cordone, and I. Fumagalli. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A. 39(3): 650–661.
239. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. 2005. A Petri net structure-based deadlock prevention solution for sequential resource allocation systems, 271–277. In The Proceedings of the IEEE Transactions Conference on Robotics and Automation, Apr. 18–22, Barcelona, Spain.
240. Uzam, M., 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology. 19(3): 192–208.
241. Uzam, M. and M. C. Zhou. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research. 44(10): 1987–2030.
242. Yamalidou, K., J. Moody, M. Lemmon, and P. Antsaklis. 1996. Feedback control of Petri nets based on place invariants. Automatica. 32(1): 15–28.
243. Chen, Y. F. and Z. W. Li. 2011. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica. 47(5): 1028–1034.
244. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2): 173–184.
245. Ezpeleta, J., F. Tricas, F. Garcia-Valles, and J. M. Colom. 2002. A banker’s solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Transactions on Robotics and Automation. 18(4): 621–625.
246. Fanti, M. P. and M. C. Zhou. 2004. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 5–22.
247. Fanti, M. P. and M. C. Zhou. Deadlock control methods in automated manufacturing systems. pp. 1–22. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Co.
248. Ghaffari, A., N. Rezg, and X. L. Xie. 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation. 19(1): 137–142.
249. Hsieh, F. S. and S. C. Chang. 1994. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 10(2): 196–209.
250. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung. 2001. Deadlock prevention based on Petri nets and siphons. International Journal of Production Research. 39(2): 283–305.
251. Huang, Y. S., M. D. Jeng, X. L. X ie, and D. H. Chung. 2006. Siphon-based deadlock prevention for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 36(6): 1248–1256.
252. Jeng, M. D. and X. L. Xie. Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons. pp. 233–281. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Inc. Co.
253. Lautenbach, K. and H. Ridder. 1994. Liveness in bounded Petri nets which are covered by T-invariants. Lecture Notes in Computer Science. 815: 358–375.
254. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
255. Li, Z. W. and M. C. Zhou. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Berlin: Springer-Verlag.
256. Li, Z. W., M. C. Zhou, and M. D. Jeng. 2008. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering. 5(1): 182–188.
257. Murata, T. 1989. Petri nets: Properties, analysis and application. Proceedings of the IEEE. 77(4): 541–580.
258. Park, J. and S. A. Reveliotis. 2000. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automation. 16(2): 190–195.
259. Park, J. and S. A. Reveliotis. 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control. 46(10): 1572–1583.
260. Pastor, E., O. Roig, J. Cortadella, and R. M. Badia. 1994. Petri net analysis using Boolean manipulation. Lecture Notes in Computer Science. 815: 416–435.
261. Pastor, E., J. Cortadella, and O. Roig. 2001. Symbolic analysis of bounded Petri nets. IEEE Transactions on Computers. 50(5): 432–448.
262. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
263. Piroddi, L., R. Cordone, and I. Fumagalli. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 39(3): 650–661.
264. Reveliotis, S. A. 2007. Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 37(3): 319–328.
265. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. 1998. A structural approach to the problem of deadlock prevention in processes with resources, 273–278. In Proceedings of WODES’98: Italy, 26–28 August.
266. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. An iterative method for deadlock prevention in FMS. pp. 139–148. In G. Stremersch [ed.]. 2000. Discrete Event Systems: Analysis and Control. Kluwer Academic: Boston, MA.
267. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology. 19(3): 192–208.
268. Uzam, M. and M. C. Zhou. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research. 44(10): 1987–2030.
269. Xing, K. Y., B. S. Hu, and H. X. Chen. Deadlock avoidance policy for flexible manufacturing systems. pp. 239–263. In M. C. Zhou. [ed.]. 1995. Petri Nets in Flexible and Agile Automation. Kluwer Academic: Boston, MA.
270. Yamalidou, K., J. Moody, M. Lemmon, and P. Antsaklis. 1996. Feedback control of Petri nets based on place invariants. Automatica. 32(1): 15–28.
271. Banaszak, Z. and B. H. Krogh. 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation. 6(6): 724–734.
272. Chen, Y. F., Z. W. Li, M. Khalgui, and O. Mosbahi. 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering. 8(2): 374–393.
273. Chen, Y. F. and Z. W. Li. 2011. An optimal liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica. 47(5): 1028–1034.
274. Chen, Y. F., Z. W. Li, and M. C. Zhou. 2012. Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 42(3): 615–629.
275. Du, Y. Y., C. J. Jiang, and M. C. Zhou. 2009. A Petri net-based model for verification of obligations and accountability in cooperative systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 39(2): 299–308.
276. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2): 173–184.
277. Ezpeleta, J., F. Tricas, F. Garcia-Valles, and J. M. Colom. 2002. A banker’s solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Transactions on Robotics and Automation. 18(4): 621–625.
278. Ghaffari, A., N. Rezg, and X. L. Xie. 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation. 19(1): 137–142.
279. Hsieh, F. S. and S. C. Chang. 1994. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 10(2): 196–209.
280. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung. 2001. Deadlock prevention based on Petri nets and siphons. International Journal of Production Research. 39(2): 283–305.
281. Huang, Y. S., M. D. Jeng, X. L. Xie, and D. H. Chung. 2006. Siphon-based deadlock prevention for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 36(6): 1248–1256.
282. Jeng, M. D. and X. L. Xie. Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons. pp. 233–281. In M. C. Zhou and M. P. Fanti. [eds.]. 2005. Deadlock Resolution in Computer-Integrated Systems. New York: Marcel-Dekker Inc.
283. Lautenbach, K. and H. Ridder. 1996. The linear algebra of deadlock avoidance-a Petri net approach. No. 25–1996, Technical Report, Institute of Software Technology, University of Koblenz-Landau, Koblenz, Germany.
284. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
285. Li, Z. W., M. C. Zhou, and M. D. Jeng. 2008. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering. 5(1): 182–188.
286. Park, J. and S. A. Reveliotis. 2000. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automation. 16(2): 190–195.
287. Park, J. and S. A. Reveliotis. 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control. 46(10): 1572–1583.
288. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
289. Piroddi, L., R. Cordone, and I. Fumagalli. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 39(3): 650–661.
290. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. 1998. A structural approach to the problem of deadlock prevention in processes with resources, 273–278. In Proceedings of WODES’98, Italy, August 26–28.
291. Tricas, F., F. Garcia-Valles, J. M. Colom, and J. Ezpelata. An iterative method for deadlock prevention in FMS. pp. 139–148. In G. Stremersch [ed.]. 2000. Discrete Event Systems: Analysis and Control. Kluwer Academic: Boston, MA.
292. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology. 19(3): 192–208.
293. Uzam, M. and M. C. Zhou. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research. 44(10): 1987–2030.
294. Xing, K. Y., B. S. Hu, and H. X. Chen. Deadlock avoidance policy for flexible manufacturing systems. pp. 239–263. In M. C. Zhou. [ed.]. 1995. Petri Nets in Flexible and Agile Automation. Kluwer Academic: Boston, MA.
295. Basile, F., P. Chiacchio, and A. Guia. 2007. An optimization approach to Petri net monitor design. IEEE Transactions on Automatic Control. 52(2): 306–311.
296. Dideban, A. and H. Alla. 2005. From forbidden states to linear constraints for the optimal supervisor synthesis. Control Engineering and Applied Informatics. 7(3): 48–55.
297. Dideban, A. and H. Alla. 2008. Reduction of constraints for controller synthesis based on safe Petri nets. Automatica. 44(7): 1697–1706.
298. Girault, C. and R. Valk. 2003. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. New York: Springer-Verlag.
299. Giua, A., F. DiCesare, and M. Silva. 1992. Generalized mutual exclusion constraints on nets with uncontrollable transitions, 974–979. In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, Chicago, IL, U.S.A., Oct. 18–21.
300. Giua, A., F. DiCesare, and M. Silva. 1993. Petri net supervisor for generalized mutual exclusion constraints, 267–270. In Proceedings of the 12th IFAC World Congress, Sidney, Australia, July.
301. Holloway, L. E., and B. H. Krogh. 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control. 35(5): 514–523.
302. Hu, H. S., M. C. Zhou, and Z. W. Li. 2010. Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Transactions on Automation Science and Engineering. 7(4): 933–944.
303. Li, Z. W., Y. F. Chen, and M. C. Zhou. 2011. On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems, 832–837. IEEE Conference on Systems, Man, and Cybernetics, Alaska, October 9–12.
304. Iordache, M. V. and P. J. Antsaklis. 2006. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Berlin: Springer-Verlag.
305. Iordache, M. V. and P. J. Antsaklis. 2006. Supervision based on place invariants: A survey. Discrete Event Dynamical Systems Theory and Applications. 16: 451–492.
306. Krogh, B. H. and L. E. Holloway. 1991. Synthesis of feedback control logic for discrete manufacturing systems. Automatica. 27(4): 641–651.
307. Moody, J. O. and P. J. Antsaklis. 1998. Supervisory Control of Discrete Event Systems Using Petri Nets. Norwell, MA: Kluwer.
308. Murata, T. 1989. Petri nets: Properties, analysis, and applications. Proceedings of the IEEE. 77(4): 541–580.
309. Ramadge, P. J. and W. M. Wonham. 1987. Supervisory control of a class of discrete-event processes. SIAM Journal Control Optimization. 25(1): 206–230.
310. Ramadge, P. J. and W. M. Wonham. 1989. The control of discrete event systems. Proceedings of the IEEE. 77(1): 81–98.
311. Reveliotis, S. A. 2005. Real-time Management of Resource Allocation Systems: A Discrete Event Systems Approach. NY: Springer-Verlag.
312. Uzam, M. and M. C. Zhou. 2007. An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 37(3): 362–371.
313. Vasiliu, A. I., A. Dideban, and H. Alla. 2009. Control synthesis for manufacturing systems using non-safe Petri nets. Control Engineering and Applied Informatics. 11(2): 43–50.
314. Wonham, W. M. and P. J. Ramadge. 1987. On the supremal controllable sublanguage of a given language. SIAM Journal of Control Optimization. 25(3): 637–659.
315. Yamalidou, E., J. O. Moody, and P. J. Antsaklis. 1996. Feedback control of Petri nets based on place invariants. Automatica. 32(1): 15–28.
316. Zhou, M. C. and F. DiCesare. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer.
317. Barkaoui, K. and J. F. Pradat-Peyre. 1996. On liveness and controlled siphons in Petri nets, Lecture Notes in Computer Science. 1091: 57–72.
318. Chen, Y. F. and Z. W. Li. 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica. 47(5): 1028–1034.
319. Chen, Y. F., Z. W. Li, M. Khalgui, and O. Mosbahi. 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering. 8(2): 374–393.
320. Chen, Y. F., Z. W. Li, and M. C. Zhou. 2012. Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems. International Journal of Production Research. 50(22): 6357–6371.
321. He, K. X. and M. D. Lemmon. 2000. Liveness verification of discrete-event systems modeled by n-safe ordinary Petri Nets. Lecture Notes in Computer Science. 1825: 227–243.
322. He, K. X. and L. D. Lemmon. 2002a. On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors, 2657–2662. In Proceedings of 39th IEEE Conference on Decision and Control, Sydney, NSW, Australia, December 12–15.
323. He, K. X. and M. D. Lemmon. 2002b. Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods. IEEE Transactions on Automatic Control. 47(7): 1042–1055.
324. Iordache, M. V., J. O. Moody, and P. J. Antsaklis. 2002. Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics and Automation. 18(1): 59–68.
325. Lautenbach, K. and H. Ridder. 1993. Liveness in bounded Petri nets which are covered by T-invariants. In Proceedings of the 13th International Conference on Applications and Theory of Petri Nets. Lecture Notes in Computer Science. 815: 358–375.
326. Lautenbach, K. and H. Ridder. 1996. The linear algebra of deadlock avoidance-a Petri net approach. No.25-1996, Technical Report, Institute of Software Technology, University of Koblenz-Landau, Koblenz, Germany.
327. Li, Z. W. and M. C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 34(1): 38–51.
328. Li, Z. W. and M. C. Zhou. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, London, UK.
329. 3PR. Automatica. 46(6): 1008–1018.
330. McMillan, K. 1992. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. Lecture Notes in Computer Science. 663: 164–177.
331. McMillan, K. 1993. Symbolic Model Checking. Norwell, Massachusetts: Kluwer.
332. Park, J. and S. A. Reveliotis. 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control. 46(10): 1572–1583.
333. Piroddi, L., R. Cordone, and I. Fumagalli. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38(6): 1337–1348.
334. Piroddi, L., R. Cordone, and I. Fumagalli. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 39(3): 650–661.
335. Qin, M., Z. W. Li, M. Khalgui, and O. Mosbahi. 2011. On applicability of deadlock prevention policies with uncontrollable and unobservable transitions. International Journal of Innovative Computing, Information, and Control. 7(7B): 4115–4127.
336. Ramadge, P. J. and W. M. Wonham. 1989. The control of discrete event systems. Proceedings of the IEEE. 77(1): 81–89.
337. Reveliotis, S. A., M. A. Lawley, and P. M. Ferreira. 1997. Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control. 42(10): 1344–1357.
338. Sreenivas, R. S. 1997a. On Commoner’s liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets. Systems Control Letters. 31(1): 41–48.
339. Sreenivas R. S. 1997b. On the existence of supervisory control policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets. IEEE Transactions on Automatic Control. 42(7): 928–945.
340. Sreenivas, R. S. 1999. On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions. IEEE Transactions on Automatic Control. 44(6): 1221–1225.
341. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology. 19(3): 192–208.
342. Wang, A. R., Z. W. Li, J. Y. Jian, and M. C. Zhou. 2009. An effective algorithm to find elementary siphons in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 39(4): 912–923.
343. Wang, A. R., Z. W. Li, M. C. Zhou, and A. Al-Ahmari. 2012. Iterative deadlock control by using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C. DOI: 10.1109/TSMCC.2012.2189385.
344. Wu, N. Q. and M. C. Zhou. 2009. System Modeling and Control with Resource-Oriented Petri Nets. NY: CRC Press.
345. Xing, K. Y., M. C. Zhou, H. X. Liu, and F. Tian. 2009. Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A. 39(1): 188–199.
346. Zhong, C. F. and Z. W. Li. 2010. On self-liveness of a class of Petri net models for flexible manufacturing systems. IET Control Theory and Applications. 4(3): 403–410.