skip to main content
research-article

Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets

Published:01 January 2013Publication History
Skip Abstract Section

Abstract

Deadlock prevention is crucial to the modeling of flexible manufacturing systems. In the Petri net framework, deadlock prevention is often addressed by siphon-based control (SC) policies. Recent research results show that SC methods can avoid full siphon enumeration by using mixed integer programming (MIP) to greatly increase the computational efficiency so that it can be applied in large systems in computable time. Besides, maximally permissive control solutions can be obtained by means of iterative siphon control (ISC) approaches and MIP. Then the remaining problems are redundancy and MIP iterations. Redundant controllers make the closed-loop system more complicated and each MIP iteration increases the total computational time. This article proposes a revised ISC deadlock prevention policy which can achieve better results than the other reported methods in terms of redundancy and MIP iterations while maintaining the maximal permissiveness. Several benchmark examples are provided to illustrate the proposed approach and to be compared with the other reported methods.

References

  1. Banaszak, Z. A. and Krogh, B. H. 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Rob.Autom 6, 724--734.Google ScholarGoogle ScholarCross RefCross Ref
  2. Chao, D. Y. 2008. Technical note: Reducing MIP iterations for deadlock prevention of flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 41, 3, 343--346.Google ScholarGoogle ScholarCross RefCross Ref
  3. Chao, D. Y. 2009. Direct minimal empty siphon computation using MIP. Int. J. Adv. Manuf. Technol. 45, 397--405.Google ScholarGoogle ScholarCross RefCross Ref
  4. Chu, F. and Xie, X. L. 1997. Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Rob. Autom. 13, 793--804.Google ScholarGoogle ScholarCross RefCross Ref
  5. Ezpeleta, J., Colom, J. M., and Martinez, J. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Rob. Autom. 11, 173--184.Google ScholarGoogle ScholarCross RefCross Ref
  6. Ezpeleta, J., Tricas, F., Garcia-Valles, F., and Colom, J. M. 2002. A bankers solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans. Rob. Autom. 18, 621--625.Google ScholarGoogle ScholarCross RefCross Ref
  7. Fanti, M. P. and Zhou, M. C. 2004. Deadlock control methods in automated manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 34, 5--22. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Ferrarini, L and Maroni, M. 1998. Deadlock avoidance control for manufacturing systems with capacity resources. Int. J. Adv. Manuf. Technol. 14, 729--736.Google ScholarGoogle ScholarCross RefCross Ref
  9. Huang, Y. S. 2006. Design of deadlock prevention supervisors using Petri nets. Int. J. Adv. Manuf. Technol. 35, 349--362.Google ScholarGoogle ScholarCross RefCross Ref
  10. Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, S. L. 2001. Deadlock prevention policy based on Petri nets and siphons. Int. J. Prod. Res. 39, 283--305.Google ScholarGoogle ScholarCross RefCross Ref
  11. Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, D. H. 2006. Deadlock prevention policy based on Petri nets and siphons. IEEE Trans. Syst. Man Cybern. Part A 36, 1248--1256. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Iordache, M., Moody, J., and Antsaklis, P. 2002. Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans. Rob. Autom. 18, 59--68.Google ScholarGoogle ScholarCross RefCross Ref
  13. Lawley, M., Reveliotis, S., and Ferrarini, P. 1997. Design guidelines for deadlock-handling strategies in flexible manufacturing systems. Int. J. Flex. Manuf. Syst. 9, 5--30.Google ScholarGoogle ScholarCross RefCross Ref
  14. Li, Z. W. and Liu, D. 2007. A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net. Int. J. Prod. Res. 45, 2161--2165.Google ScholarGoogle ScholarCross RefCross Ref
  15. Li, Z. W. and Wei, N. 2007. Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets. Int. J. Adv. Manuf. Technol. 33, 24--35.Google ScholarGoogle ScholarCross RefCross Ref
  16. Li, Z. W. and Zhou, M. C. 2004. Elementary siphons of Petri nets and their applications to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 34, 38--51. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Li, Z. W. and Zhou, M. C. 2006. Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. IEEE Trans. Ind. Inf. 2, 313--325.Google ScholarGoogle ScholarCross RefCross Ref
  18. Li, Z. W., Uzam, M., and Zhou, M. C. 2004. Comments on “Deadlock prevention policy based on Petri Nets and Siphons”. Int. J. Prod. Res. 42, 5253--5254.Google ScholarGoogle ScholarCross RefCross Ref
  19. Li, Z. W., Hu, H. S., and Wang, A. R. 2007. Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans. Syst. Man Cybern. Part C 37, 517--526. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Li, Z. W., Zhou, M. C., and Wu, N. Q. 2008. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part C 38, 173--188. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Lindo System, Inc. Premier optimization modeling tools. http://www.lindo.com.Google ScholarGoogle Scholar
  22. Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 541--580.Google ScholarGoogle ScholarCross RefCross Ref
  23. Park, J. and Reveliotis, S. A. 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Autom. Control 46, 1572--1583.Google ScholarGoogle ScholarCross RefCross Ref
  24. Piroddi, L., Cordone, R., and Fumagalli, I. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. Part A 38, 1337--1348. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Piroddi, L., Cordone, R., and Fumagalli, I. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. Part A 39, 650--661. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Shih, Y. Y. and Chao, D. Y. 2009. Sequence of control in S3PMR. Comput. J. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Starke, P. H. 1992. INA: Intergrated Net Analyzer. Handbuch.Google ScholarGoogle Scholar
  28. Tricas, F., Garcia-Valles, F., Colom, J. M., and Ezpeleta, J. 1998. A structural approach to the problem of deadlock prevention in processes with resources. In Proceedings of the International Workshop on Discrete Event Systems (WODES’98). 273--278.Google ScholarGoogle Scholar
  29. Tricas, F., Garcia-Valles, F., Colom, J. M., and Ezpeleta, J. 2000 An iterative method for deadlock prevention in FMS. In Discrete Event Systems, Analysis and Control, G. Stremersch Ed., 139--148.Google ScholarGoogle Scholar
  30. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net model with resources and the theory of regions. Int. J. Adv. Manuf. Technol. 19, 192--208.Google ScholarGoogle ScholarCross RefCross Ref
  31. Uzam, M. 2004. The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 23, 204--219.Google ScholarGoogle ScholarCross RefCross Ref
  32. Uzam, M. and Zhou, M. C. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. Int. J. Prod. Res. 44, 1987--2030.Google ScholarGoogle ScholarCross RefCross Ref
  33. Uzam, M. and Zhou, M. C. 2007. An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 37, 362--371. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Uzam, M., Li, Z. W., and Zhou, M. C. 2007. Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. Int. J. Adv. Manuf. Technol. 35, 150--168.Google ScholarGoogle ScholarCross RefCross Ref
  35. Viswandham, N., Narahari, Y., and Johnson, T. L. 1990. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Rob. Autom. 6, 713--723.Google ScholarGoogle ScholarCross RefCross Ref
  36. Wang, A. R., Li, Z. W., Jia, J. Y., and Zhou, M. C. 2009. An effiective algorithm to find elementary siphons in a class of Petri nets. IEEE Trans. Syst. Man Cybern. Part A 39, 912--923. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. Wu, N. Q. and Zhou, M. C. 2005. Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Trans. Syst. Man Cybern. Part B 35, 1193--1202. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Wysk, R. A., Yang, N. S., and Joshi, S. 1991. Detection of deadlocks in flexible manufacturing cells. IEEE Trans. Rob. Autom. 7, 853--859.Google ScholarGoogle ScholarCross RefCross Ref
  39. Xing, K. Y., Hu, B. S., and Chen, H. X. 1996. Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Trans. Automat. Control 41, 289--295.Google ScholarGoogle ScholarCross RefCross Ref
  40. Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32, 15--28. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!