Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015, Article ID 537893, 19 pages
http://dx.doi.org/10.1155/2015/537893
Research Article

Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems

1Industrial Engineering Department, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia
2Mechanical Engineering Department, Helwan University, Cairo 11792, Egypt

Received 13 January 2015; Revised 26 June 2015; Accepted 3 August 2015

Academic Editor: Yan-Jun Liu

Copyright © 2015 Emad Abouel Nasr 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. Y. Chen, Z. 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
  2. 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
  3. D. Y. Chao, “Direct minimal empty siphon computation using MIP,” The International Journal of Advanced Manufacturing Technology, vol. 45, no. 3-4, pp. 397–405, 2009. View at Publisher · View at Google Scholar · View at Scopus
  4. D. Y. Chao, “Improvement of suboptimal siphon-and FBM-based control model of a well-known,” IEEE Transactions on Automation Science and Engineering, vol. 8, no. 2, pp. 404–411, 2011. View at Google Scholar
  5. A. Ghaffari, N. Rezg, and X. 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 Publisher · View at Google Scholar · View at Scopus
  6. M. Uzam and M. Zhou, “Iterative synthesis of petri net based deadlock prevention policy for flexible manufacturing systems,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC '04), pp. 4260–4265, October 2004. View at Publisher · View at Google Scholar · View at Scopus
  7. M. Uzam, “The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems,” The International Journal of Advanced Manufacturing Technology, vol. 23, no. 3-4, pp. 204–219, 2004. View at Publisher · View at Google Scholar · View at Scopus
  8. K. Lautenbach, “Linear algebraic calculation of deadlocks and traps,” in Concurrency and Nets, pp. 315–336, Springer, Berlin, Germany, 1987. View at Publisher · View at Google Scholar
  9. M. Uzam, “An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions,” The International Journal of Advanced Manufacturing Technology, vol. 19, no. 3, pp. 192–208, 2002. View at Google Scholar · View at Scopus
  10. D. Y. Chao, “Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (systems of simple sequential processes with general resource requirements),” The Computer Journal, vol. 53, no. 10, pp. 1783–1798, 2010. View at Publisher · View at Google Scholar · View at Scopus
  11. Z. Li and M. 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
  12. Z. Li, G. Liu, H.-M. Hanisch, and M. Zhou, “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, vol. 42, no. 1, pp. 178–191, 2012. View at Publisher · View at Google Scholar · View at Scopus
  13. J. Ezpeleta, J. M. Colom, and J. Martinez, “A 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
  14. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, “A deadlock prevention policy for flexible manufacturing systems using siphons,” in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA '01), pp. 541–546, May 2001. View at Scopus
  15. Y. S. Huang, M. Jeng, X. Xie, and D.-H. Chung, “Siphon-based deadlock prevention policy for flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 36, no. 6, pp. 1248–1256, 2006. View at Publisher · View at Google Scholar · View at Scopus
  16. Z. Li and N. Wei, “Deadlock control of flexible manufacturing systems via invariant—controlled elementary siphons of petri nets,” The International Journal of Advanced Manufacturing Technology, vol. 33, no. 1-2, pp. 24–35, 2007. View at Publisher · View at Google Scholar · View at Scopus
  17. 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 · View at Scopus
  18. G. Y. Liu, Z. W. Li, K. Barkaoui, and A. M. Al-Ahmari, “Robustness of deadlock control for a class of Petri nets with unreliable resources,” Information Sciences, vol. 235, pp. 259–279, 2013. View at Publisher · View at Google Scholar · View at Scopus
  19. S. Wang, M. Zhou, and W. Wu, “Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems,” Asian Journal of Control, vol. 17, no. 1, pp. 190–201, 2014. View at Publisher · View at Google Scholar · View at Scopus
  20. N. Viswanadham, Y. Narahari, and T. L. Johnson, “Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models,” IEEE Transactions on Robotics & Automation, vol. 6, no. 6, pp. 713–723, 1990. View at Publisher · View at Google Scholar · View at Scopus
  21. M. Uzam, Z. Li, and M. Zhou, “Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS,” The International Journal of Advanced Manufacturing Technology, vol. 35, no. 1-2, pp. 150–168, 2007. View at Publisher · View at Google Scholar · View at Scopus
  22. Z. Li and H. Hu, “On systematic methods to remove redundant monitors from liveness-enforcing net supervisors,” Computers & Industrial Engineering, vol. 56, no. 1, pp. 53–62, 2009. View at Publisher · View at Google Scholar · View at Scopus
  23. F. Garcia-Valles and J. Colom, “Implicit places in net systems,” in Proceedings of the 8th International Workshop on Petri Nets and Performance Models, pp. 104–113, Zaragoza, Spain, 1999.
  24. L. Recalde, E. Teruel, and M. Silva, “Improving the decision power of rank theorems,” in Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Computational Cybernetics and Simulation, pp. 3768–3773, October 1997. View at Scopus
  25. Y. Chen, Z. Li, and M. Zhou, “Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, vol. 42, no. 3, pp. 615–629, 2012. View at Publisher · View at Google Scholar · View at Scopus
  26. 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
  27. L. Piroddi, R. Cordone, and I. Fumagalli, “Combined siphon and marking generation for deadlock prevention in Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 39, no. 3, pp. 650–661, 2009. View at Publisher · View at Google Scholar · View at Scopus