Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2016 (2016), Article ID 8219424, 12 pages
http://dx.doi.org/10.1155/2016/8219424
Research Article

An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets

1School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
2Machinery and Electricity College, Shihezi University, Xinjiang 832003, China
3College of Electronics and Information, Xi’an Polytechnic University, Xi’an 710048, China

Received 13 October 2015; Revised 14 January 2016; Accepted 17 January 2016

Academic Editor: Manuel De la Sen

Copyright © 2016 YiFan Hou 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. C. Zhou and Z. W. Li, “Special issue on ‘Petri Nets for system control and automation’,” Asian Journal of Control, vol. 12, no. 3, pp. 237–239, 2010. View at Publisher · View at Google Scholar
  2. K. Barkaoui and J. F. Pradat-Peyre, “On liveness and controlled siphons in PETri nets,” in Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings, vol. 1091 of Lecture Notes in Computer Science, pp. 57–72, Springer, Berlin, Germany, 1996. View at Publisher · View at Google Scholar · View at MathSciNet
  3. 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
  4. Y. F. Chen and Z. W. Li, “On structural minimality of optimal supervisors for flexible manufacturing systems,” Automatica, vol. 48, no. 10, pp. 2647–2656, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  5. 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 MathSciNet · View at Scopus
  6. 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
  7. D. Liu, Z. W. Li, and M. C. Zhou, “Hybrid liveness-enforcing policy for generalized petri net models of flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics: Systems and Humans, vol. 43, no. 1, pp. 85–97, 2013. View at Publisher · View at Google Scholar · View at Scopus
  8. M. Zhao, Y. F. Hou, and D. Liu, “Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming,” International Journal of Control, vol. 83, no. 10, pp. 2053–2066, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  9. M. Zhao and Y. F. Hou, “An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming,” Discrete Event Dynamic Systems, vol. 23, no. 1, pp. 3–26, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  10. K. Barkaoui, A. Chaoui, and B. Zouari, “Supervisory control of discrete event systems based on structure theory of Petri nets,” in Proceedings of the IEEE International Conference on Systems, Man, Cybernetics, Computational Cybernetics and Simulation, vol. 4, pp. 3750–3755, Orlando, Fla, U.S.A, October 1997.
  11. Y. F. Hou, Z. W. Li, L. Hong, and A. M. Al-Ahmari, “Optimal controllability of 3-composed siphons in a class of Petri nets,” Electronics Letters, vol. 49, no. 11, pp. 697–699, 2013. View at Publisher · View at Google Scholar · View at Scopus
  12. Y. F. Hou, Z. W. Li, and A. M. Al-Ahmari, “Optimal controllability of 2-composed siphons in a class of Petri nets,” Electronics Letters, vol. 48, no. 24, pp. 1535–1537, 2012. View at Publisher · View at Google Scholar · View at Scopus
  13. Z. W. Li, J. Zhang, and M. Zhao, “Liveness-enforcing supervisor design for a class of generalised Petri net models of flexible manufacturing systems,” IET Control Theory & Applications, vol. 1, no. 4, pp. 955–967, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. D. Liu, Z. W. Li, and M. C. Zhou, “Liveness of an extended S3PR,” Automatica, vol. 46, no. 6, pp. 1008–1018, 2010. View at Publisher · View at Google Scholar
  15. M. M. Yan and C. F. Zhong, “A deadlock prevention policy for a class of Petri net models of flexible manufacturing systems,” International Journal of Production Research, vol. 49, no. 24, pp. 7379–7396, 2011. View at Publisher · View at Google Scholar · View at Scopus
  16. 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 MathSciNet · View at Scopus
  17. 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 A: Systems and Humans, vol. 34, no. 1, pp. 38–51, 2004. View at Publisher · View at Google Scholar · View at Scopus
  18. Z. W. Li and M. C. Zhou, “Clarifications on the definitions of elementary siphons in Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 36, no. 6, pp. 1227–1229, 2006. View at Publisher · View at Google Scholar · View at Scopus
  19. 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 Part A: Systems and Humans, vol. 38, no. 1, pp. 133–148, 2008. View at Publisher · View at Google Scholar · View at Scopus
  20. E. E. Cano, C. A. Rovetto, and J. M. Colom, “An algorithm to compute the minimal siphons in S4PR nets,” Discrete Event Dynamic Systems, vol. 22, no. 4, pp. 403–428, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  21. S. A. Reveliotis, “On the siphon-based characterization of liveness in sequential resource allocation systems,” in Applications and Theory of Petri Nets 2003, W. M. P. van der Aalst and E. Best, Eds., vol. 2679 of Lecture Notes in Computer Science, pp. 241–255, Springer, Berlin, Germany, 2003. View at Publisher · View at Google Scholar
  22. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, “A Petri net structure-based deadlock prevention solution for sequential resource allocation systems,” in Proceedings of the IEEE International Conference on Robotics and Automation, pp. 271–277, IEEE, Barcelona, Spain, April 2005. View at Publisher · View at Google Scholar · View at Scopus
  23. Y. F. Hou, Z. W. Li, M. Zhao, and D. Liu, “Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets,” International Journal of Computer Integrated Manufacturing, vol. 27, no. 1, pp. 85–102, 2014. View at Publisher · View at Google Scholar · View at Scopus
  24. Y. F. Hou, Z. W. Li, M. Zhao, and D. Liu, “Extraction of elementary siphons in a class of generalized Petri nets using graph theory,” Engineering Computations, vol. 31, no. 2, pp. 331–352, 2014. View at Publisher · View at Google Scholar · View at Scopus
  25. A. Giua, F. DiCesare, and M. Silva, “Generalized mutual exclusion constraints on nets with uncontrollable transitions,” in Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, pp. 974–979, Chicago, Ill, USA, October 1992.
  26. J. Park and S. A. Reveliotis, “Deadlock avoidance in sequential resource allocation 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 MathSciNet · View at Scopus
  27. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, “An iterative method for deadlock prevention in FMSs,” in Proceedings of the 5th Workshop on Discrete Event Systems (WODES '00), R. Boel and G. Stremersch, Eds., pp. 139–148, Ghent, Belgium, August 2000.
  28. D. Y. Chao, “Max'-controlled siphons for liveness of S3PGR2,” IET Control Theory and Applications, vol. 1, no. 4, pp. 933–936, 2007. View at Publisher · View at Google Scholar · View at Scopus
  29. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer, Berlin, Germany, 2009.