Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets

References

• 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 4 (10): 704–715.
   Google Scholar
• Barkaoui, K., and I. B. Abdallah. 1995. “A Deadlock Prevention Method for a Class of FMS.” In Proceedings of IEEE International Conference on Systems, Man, Cybernetics, Vol. 5, Vancouver, Canada, October 22–25, 4119–4124.
   Google Scholar
• Barkaoui, K., and J. F. Pradat-Peyre. 1996. “On Liveness and Controlled Siphons in Petri Nets.” In Proceedings of 17th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 1091, Osaka, Japan, June 24–28, 57–72. Publisher: Springer Berlin Heidelberg.
   Google Scholar
• Chao, D. Y. 2007. “Max′-Controlled Siphons for Liveness of S3PGR2.” IET Control Theory and Applications 1 (4): 933–936.
   Web of Science ®Google Scholar
• Chao, D. Y. 2009. “Revised Dependent Siphons.” International Journal of Advanced Manufacturing Technology 43 (1–2): 182–188.
   Web of Science ®Google Scholar
• Chen, Y. F., and Z. W. Li. 2012a. “On Structural Minimality of Optimal Supervisors for Flexible Manufacturing Systems”.Automatica 48 (10): 2647–2656.
   Web of Science ®Google Scholar
• Chen, Y. F., and Z. W. Li. 2012b. Optimal Supervisory Control of Automated Manufacturing Systems. New York: CRC Press, Taylor and Francis Group.
   Google Scholar
• Chen, Y. F., Z. W. Li, and M. Khalgui. 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.
   Google Scholar
• 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.
   Google Scholar
• Ezpeleta, J., and L. Recalde. 2004. “A Deadlock Avoidance Approach for Non-sequential Resource Allocation Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 34 (1): 93–101.
   Web of Science ®Google Scholar
• Fanti, M. P., and M. C. Zhou. 2004. “Deadlock Control Methods in Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 34 (1): 5–22.
   Web of Science ®Google Scholar
• Hou, Y. F., Z. W. Li, D. Liu, and M. Zhao. 2011. “Elementary Siphons in a Class of Generalized Petri Nets and Their Application.” In Proceedings of 2011 International Conference on Advanced Mechatronic Systems, Zhengzhou, China, August 11–13, 103–108.
   Google Scholar
• Hsieh, F. S. 2004. “Fault-Tolerant Deadlock Avoidance Algorithm for Assembly Processes.” IEEE Transactions Systems, Man, and Cybernetics, Part A: Systems and Humans 34 (1): 65–79.
   Web of Science ®Google Scholar
• Huang, Y. S., M. Jeng, and S. L. Chung. 2001. “Design, Analysis and Implementation of a Real-World Manufacturing Cell Controller Based on Petri Nets.” International Journal of Computer Integrated Manufacturing 14 (3): 304–318.
   Web of Science ®Google Scholar
• Huang, Y. S., M. D. Jeng, X. L. Xie, and D. H. Chung. 2006. “Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 36 (6): 2152–2160.
   Web of Science ®Google Scholar
• Iordache, M. V., J. O. Moody, and P. J. Antsaklis. 2001. “A Method for the Synthesis of Liveness Enforcing Supervisors in Petri Nets.” In Proceedings of the American Control Conference, Vol. 6, Arlington, USA, June 25–27, 4943–4948.
   Google Scholar
• 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.
   Google Scholar
• Kelwyn, A. S., and K. K. Suresh. 1993. “A Petri Net Approach for Modelling Controls of a Computer-Integrated Assembly Cell.” International Journal of Computer Integrated Manufacturing 6 (5): 302–310.
   Web of Science ®Google Scholar
• Li, S. Y., Z. W. Li, and H. S. Hu. 2011. “Siphon Extraction for Deadlock Control in Flexible Manufacturing Systems by using Petri Nets.” International Journal of Computer Integrated Manufacturing 24 (8): 710–725.
   Web of Science ®Google Scholar
• Li, Z. W., and H. S. Hu. 2009. “On Systematic Methods to Remove Redundant Monitors from Liveness-Enforcing Net Supervisors.” Computer and Industrial Engineering 56 (1): 53–62.
   Web of Science ®Google Scholar
• Li, Z. W., H. S. Hu, and Wang A. R. 2007a. “Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.” IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 37 (4): 517–526.
   Web of Science ®Google Scholar
• Li, Z. W., G. Y. Liu, M.-H Hanisch, and M. C. Zhou. 2012. “Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.” IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 42 (1): 178–191.
   Web of Science ®Google Scholar
• Li, Z. W., N. Q. Wu, and M. C. Zhou. 2012. “Deadlock Control of Automated Manufacturing Systems Based on Petri Nets–Literature Review.” IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 42 (4): 437–462.
   Web of Science ®Google Scholar
• Li, Z. W., J. Zhang, and M. Zhao. 2007. “Liveness-Enforcing Supervisor Design for a Class of Generalised Petri Net Models of Flexible Manufacturing Systems.” IET Control Theory and Applications 1 (4): 955–967.
   Web of Science ®Google Scholar
• Li, Z. W., and M. Zhao. 2008. “On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 38 (2): 369–384.
   Web of Science ®Google Scholar
• 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: Systems and Humans 34 (1): 38–51.
   Web of Science ®Google Scholar
• Li, Z. W., and M. C. Zhou. 2006a. “Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.” IEEE Transactions on Industrial Informatics 2 (4): 313–325.
   Web of Science ®Google Scholar
• Li, Z. W., and M. C. Zhou. 2006b. “Clarifications on the Definitions of Elementary Siphons in Petri Nets.” IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 36 (6): 1227–1229.
   Web of Science ®Google Scholar
• 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: Systems and Humans 38 (1): 133–148.
   Web of Science ®Google Scholar
• Li, Z. W., and M. C. Zhou. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London: Springer.
   Google Scholar
• 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.
   Web of Science ®Google Scholar
• Li, Z. W., M. C. Zhou, and N. Q. Wu. 2008. “A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 38 (2): 172–188.
   Google Scholar
• Liu, C. M., and F. C. Wu. 1993. “Using Petri Nets to Solve FMS Problems.” International Journal of Computer Integrated Manufacturing 6 (3): 175–185.
   Web of Science ®Google Scholar
• Murata, T. 1989. “Petri Nets: Properties, Analysis, and Applications.” Proceedings of the IEEE 77 (4): 541–580.
   Web of Science ®Google Scholar
• 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.
   Web of Science ®Google Scholar
• Piroddi, L., M. Cossalter, and L. Ferrarini. 2009. “A Resource Decoupling Approach for Deadlock Prevention in FMS.” International Journal of Advanced Manufacturing Technology 40 (1–2): 157–170.
   Web of Science ®Google Scholar
• Reveliotis, S. A. 2003. “On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.” In Proceeding of International Conference on Application and Theory of Petri Nets, LNCS, 2679, edited by W. M. P. van der Aalst and E. Best, 241–255. Berlin: Springer.
   Google Scholar
• Tricas, F., F. García-Vallés, J. M. Colom, and J. Ezpeleta. 2000. “An Iterative Method for Deadlock Prevention in FMS.” Discrete Event Systems: Analysis and Control, 139–148. Kluwer Academic Publishers, Boston, USA.
   Google Scholar
• 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: Cybernetics 35 (6): 1193–1202.
   PubMed Web of Science ®Google Scholar
• 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.
   Google Scholar
• Zhao, M., and Z. W. Li. 2009. “On Deadlock Control for a Class of Generalised Petri Net Models of Flexible Manufacturing Systems.” International Journal of Production Research 47 (21): 6085–6107.
   Web of Science ®Google Scholar
• Zhao, M., Z. W. Li, and H. S. Hu. 2010. “Suboptimal Liveness-Enforcing Supervisor Design for a Class of Generalised Petri Nets Using Partial Siphon Enumeration and Mathematical Programming.” International Journal of Systems Science 41 (9): 1013–1026.
   Web of Science ®Google Scholar
• Zhou, M. C., and F. DiCesare. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer Academic Publishers.
   Google Scholar
• Zhou, M. C., and Z. W. Li. 2010. “Guest Editorial of Special Issue on ‘Petri Nets for System Control and Automation’.” Asian Journal of Control 12 (3): 237–239.
   Web of Science ®Google Scholar
• Zhou, M. C., and K. Venkatesh. 1998. Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific.
   Google Scholar