Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2015, Article ID 579623, 15 pages
http://dx.doi.org/10.1155/2015/579623
Research Article

Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors

1College of Electronics and Information, Xi’an Polytechnic University, No. 19 South Jinhua Road, Xi’an 710048, China
2School of Electro-Mechanical Engineering, Xidian University, No. 2 South Taibai Road, Xi’an 710071, China
3Faculty of Telecommunication Networks, Odessa National Academy of Telecommunications Named after A.S. Popov, Koval’ska Street 1, Odessa 65029, Ukraine

Received 22 May 2015; Accepted 20 September 2015

Academic Editor: Kamel Barkaoui

Copyright © 2015 Liang Hong et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. M. P. Fanti and M. C. Zhou, “Deadlock control methods in automated manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 34, no. 1, pp. 5–22, 2004. View at Publisher · View at Google Scholar · View at Scopus
  2. H. Cho, T. K. Kumaran, and R. A. Wysk, “Graph-theoretic deadlock detection and resolution for flexible manufacturing systems,” IEEE Transactions on Robotics and Automation, vol. 11, no. 3, pp. 413–421, 1995. View at Publisher · View at Google Scholar · View at Scopus
  3. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, “Event-based feedback control for deadlock avoidance in flexible production systems,” IEEE Transactions on Robotics and Automation, vol. 13, no. 3, pp. 347–363, 1997. View at Publisher · View at Google Scholar · View at Scopus
  4. M. A. Lawley, S. A. Reveliotis, and P. M. Ferreira, “A correct and scalable dead-lock avoidance policy for flexible manufacturing systems,” IEEE Transactions on Robotics and Automation, vol. 14, no. 5, pp. 796–809, 1998. View at Publisher · View at Google Scholar · View at Scopus
  5. S. A. Reveliotis and P. M. Ferreira, “Deadlock avoidance policies for automated manufacturing cells,” IEEE Transactions on Robotics and Automation, vol. 12, no. 6, pp. 845–857, 1996. View at Publisher · View at Google Scholar
  6. N. Q. Wu, M. C. Zhou, and Z. W. Li, “Short-term scheduling of crude-oil operations: enhancement of crude-oil operations scheduling using a Petri net-based control-theoretic approach,” IEEE Robotics & Automation Magazine, vol. 22, no. 2, pp. 64–76, 2015. View at Publisher · View at Google Scholar
  7. R. A. Wysk, N. S. Yang, and S. Joshi, “Detection of deadlocks in flexible manufacturing cells,” IEEE Transactions on Robotics and Automation, vol. 7, no. 6, pp. 853–859, 1991. View at Publisher · View at Google Scholar · View at Scopus
  8. Y. S. Huang, Y. L. Pan, and P. J. Su, “Deadlock detection and recovery policy for FMSs using graph technique,” ACM Transactions on Embedded Computing Systems, vol. 12, no. 1, pp. 404–415, 2013. View at Google Scholar
  9. Z. A. Banaszak and B. H. Krogh, “Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows,” IEEE Transactions on Robotics and Automation, vol. 6, no. 6, pp. 724–734, 1990. View at Publisher · View at Google Scholar · View at Scopus
  10. F.-S. Hsieh and S.-C. Chang, “Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems,” IEEE Transactions on Robotics and Automation, vol. 10, no. 2, pp. 196–209, 1994. View at Google Scholar · View at Scopus
  11. N. Q. Wu, M. Zhou, and Z. W. Li, “Resource-oriented Petri net for deadlock avoidance in flexible assembly systems,” IEEE Transactions on Systems, Man, and Cybernetics—Part A: Systems and Humans, vol. 38, no. 1, pp. 56–69, 2008. View at Publisher · View at Google Scholar · View at Scopus
  12. J. Ezpeleta, J. M. Colom, and J. Martinez, “Petri net based deadlock prevention policy for flexible manufacturing systems,” IEEE Transactions on Robotics and Automation, vol. 11, no. 2, pp. 173–184, 1995. View at Publisher · View at Google Scholar · View at Scopus
  13. A. Ghaffari, N. Nidhal, and X. L. Xie, “Design of a live and maximally permissive Petri net controller using the theory of regions,” IEEE Transactions on Robotics and Automation, vol. 19, no. 1, pp. 137–141, 2003. View at Google Scholar
  14. Z. W. Li and M. C. Zhou, “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, vol. 34, no. 1, pp. 38–51, 2004. View at Publisher · View at Google Scholar · View at Scopus
  15. Z. W. Li and M. C. Zhou, “Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets,” IEEE Transactions on Industrial Informatics, vol. 2, no. 4, pp. 313–325, 2006. View at Publisher · View at Google Scholar · View at Scopus
  16. J. Park and S. A. Reveliotis, “Deadlock avoidance in sequential resource allocations systems with multiple resource acquisitions and flexible routings,” IEEE Transactions on Automatic Control, vol. 46, no. 10, pp. 1572–1583, 2001. View at Publisher · View at Google Scholar · View at Scopus
  17. F. Tricas, F. G. Valls, J. M. Colom, and J. Ezpeleta, “An iterative method for deadlock prevention in FMSs,” in Proceedings of the 5th Workshop Discrete Event Systems, pp. 139–148, Ghent, Belgium, August 2000.
  18. J. H. Ye, Z. W. Li, and A. Giua, “Decentralized supervision of Petri nets with a coordinator,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, no. 6, pp. 955–966, 2015. View at Publisher · View at Google Scholar
  19. J. F. Zhang, M. Khalgui, Z. W. Li, G. Frey, O. Mosbahi, and H. B. Salah, “Reconfigurable coordination of distributed discrete event control systems,” IEEE Transactions on Control Systems Technology, vol. 23, no. 1, pp. 323–330, 2015. View at Publisher · View at Google Scholar · View at Scopus
  20. Y.-S. Huang and Y.-L. Pan, “An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach,” IET Control Theory and Applications, vol. 5, no. 9, pp. 1069–1078, 2011. View at Publisher · View at Google Scholar · View at Scopus
  21. 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 Transactions on Automation Science and Engineering, vol. 5, no. 1, pp. 182–188, 2008. View at Publisher · View at Google Scholar · View at Scopus
  22. Y. F. Chen and Z. W. Li, “Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems,” Automatica, vol. 47, no. 5, pp. 1028–1034, 2011. View at Publisher · View at Google Scholar · View at Scopus
  23. 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 Transactions on Automation Science and Engineering, vol. 8, no. 2, pp. 374–393, 2011. View at Publisher · View at Google Scholar · View at Scopus
  24. 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. View at Publisher · View at Google Scholar · View at Scopus
  25. 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 Transactions on Automation Science and Engineering, vol. 11, no. 2, pp. 549–563, 2014. View at Publisher · View at Google Scholar · View at Scopus
  26. 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 Transactions on Systems, Man, and Cybernetics: Systems, vol. 44, no. 10, pp. 1384–1400, 2014. View at Publisher · View at Google Scholar · View at Scopus
  27. Y.-S. Huang, Y.-L. Pan, and M. C. Zhou, “Computationally improved optimal deadlock control policy for flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 42, no. 2, pp. 404–415, 2012. View at Publisher · View at Google Scholar · View at Scopus
  28. Z. Y. Ma, Z. W. Li, and A. Giua, “Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints,” IEEE Transactions on Automatic Control, vol. 60, no. 7, pp. 1774–1785, 2015. View at Publisher · View at Google Scholar
  29. K. L. McMillan and D. K. Probst, “A technique of state space search based on unfolding,” Formal Methods in System Design, vol. 6, no. 1, pp. 45–65, 1995. View at Publisher · View at Google Scholar · View at Scopus
  30. K. Lautenbach, “Linear algebraic calculation of deadlocks and traps,” in Concurrency and Nets, pp. 315–336, Springer, New York, NY, USA, 1987. View at Publisher · View at Google Scholar
  31. Z. W. Li and M. C. Zhou, “Clarifications on the definitions of elementary siphons in Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 36, no. 6, pp. 1227–1229, 2006. View at Publisher · View at Google Scholar · View at Scopus
  32. Z. W. Li, H. S. Hu, and A. R. Wang, “Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets,” IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, vol. 37, no. 4, pp. 517–526, 2007. View at Publisher · View at Google Scholar · View at Scopus
  33. Z. W. Li and M. C. Zhou, “On siphon computation for deadlock control in a class of Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 38, no. 3, pp. 667–679, 2008. View at Publisher · View at Google Scholar · View at Scopus
  34. Z. W. Li and M. C. Zhou, “Control of elementary and dependent siphons in Petri nets and their application,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 38, no. 1, pp. 133–148, 2008. View at Publisher · View at Google Scholar · View at Scopus
  35. 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 Transactions on Systems, Man and Cybernetics—Part C: Applications and Reviews, vol. 38, no. 2, pp. 173–188, 2008. View at Publisher · View at Google Scholar · View at Scopus
  36. Z. W. Li and M. Zhao, “On controllability of dependent siphons for deadlock prevention in generalized Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 38, no. 2, pp. 369–384, 2008. View at Publisher · View at Google Scholar · View at Scopus
  37. Z. W. Li, G. Y. Liu, H.-M. Hanisch, and M. C. Zhou, “Deadlock prevention based on structure reuse of petri net supervisors for flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 42, no. 1, pp. 178–191, 2012. View at Publisher · View at Google Scholar · View at Scopus
  38. Z. W. Li, N. Q. Wu, and M. C. Zhou, “Deadlock control of automated manufacturing systems based on Petri nets—a literature review,” IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, vol. 42, no. 4, pp. 437–462, 2012. View at Publisher · View at Google Scholar · View at Scopus
  39. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, “Deadlock prevention policy based on Petri nets and siphons,” International Journal of Production Research, vol. 39, no. 2, pp. 283–305, 2001. View at Publisher · View at Google Scholar · View at Scopus
  40. F. Chu and X.-L. Xie, “Deadlock analysis of Petri nets using siphons and mathematical programming,” IEEE Transactions on Robotics and Automation, vol. 13, no. 6, pp. 793–804, 1997. View at Publisher · View at Google Scholar · View at Scopus
  41. M. Zhao, Z. W. Li, and H. S. Hu, “Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming,” International Journal of Systems Science, vol. 41, no. 9, pp. 1013–1026, 2010. View at Publisher · View at Google Scholar · View at Scopus
  42. Z. W. Li and D. Liu, “A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net,” International Journal of Production Research, vol. 45, no. 9, pp. 2161–2165, 2007. View at Publisher · View at Google Scholar · View at Scopus
  43. A. Giua, F. DiCesare, and M. Silva, “Generalized mutual exclusion contraints on nets with uncontrollable transitions,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, vol. 2, pp. 974–979, IEEE, Chicago, Ill, USA, October 1992. View at Publisher · View at Google Scholar
  44. F. Tricas, F. G. Valls, J. M. Colom, and J. Ezpeleta, “A structural approach to the problem of deadlock prevention in processes with shared resources,” in Proceedings of the 4th Workshop on Discrete Event Systems (WODES '98), pp. 273–278, Cagliari, Italy, 1998.
  45. L. Piroddi, R. Cordone, and I. Fumagalli, “Selective siphon control for deadlock prevention in Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 38, no. 6, pp. 1337–1348, 2008. View at Publisher · View at Google Scholar · View at Scopus
  46. M. Uzam and M. C. Zhou, “An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems,” International Journal of Production Research, vol. 44, no. 10, pp. 1987–2030, 2006. View at Publisher · View at Google Scholar · View at Scopus
  47. Y. S. Huang, “Design of deadlock prevention supervisors using Petri nets,” The International Journal of Advanced Manufacturing Technology, vol. 35, no. 3-4, pp. 349–362, 2007. View at Publisher · View at Google Scholar
  48. K. Y. Xing and B. S. Hu, “Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, vol. 1, pp. 282–287, IEEE, Waikoloa, Hawaii, USA, October 2005. View at Publisher · View at Google Scholar
  49. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer, London, UK, 2009.
  50. Z. W. Li and M. C. Zhou, Modeling, Analysis, and Deadlock Control of Automated Manufacturing Systems, Science Press, Beijing, China, 2009 (Chinese).