skip to main content
research-article

Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique

Authors Info & Claims
Published:01 January 2013Publication History
Skip Abstract Section

Abstract

A transition-controlled deadlock detection and recovery prevention policy is presented for a subclass of Petri nets used to model flexible manufacturing systems. The subclass is called systems of simple sequential processes with resources (S3PR). The proposed policy is different from the standard deadlock prevention policies. Instead of adding control places, this policy adds a controlled transition to solve a group of deadlocked markings that have the same graph-based property. Finally, the results of our study indicate that the proposed policy appears to be more permissive than those existing ones that add control places.

References

  1. Barkaoui, K. and Abdallah, B. 1995. Deadlock avoidance in FMS based on structural theory of Petri nets. In Proceedings of the INRIA/IEEE Symp. Emerging Technologies for Factory Automation. 499--510.Google ScholarGoogle Scholar
  2. Berthomieu, B. and Vernadat, F. 2006. Time Petri nets analysis with TINA. In Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems. IEEE, 123--124. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Chao, D. Y. 2006. Computation of elementary siphons in Petri nets for deadlock control. Comput. J. 49, 4, 470--479. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Chao, D. Y. 2008. Incremental approach to computation of elementary siphons for arbitrary S3PR. IET Control Theory Appl. 2, 2, 168--179.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. Hu, H. S. and Li, Z. W. 2008. An optimal-elementary-siphons based iterative dead-lock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 38, 3--4, 309--320.Google ScholarGoogle ScholarCross RefCross Ref
  7. Hu, H. S. and Li, Z. W. 2009. Efficient deadlock prevention policy in automated manufacturing systems using shared resources. Int. J. Adv. Manuf. Technol. 40, 5--6, 566--571.Google ScholarGoogle ScholarCross RefCross Ref
  8. Hu, H. S. and Li, Z. W. 2009. Modeling and scheduling for manufacturing grid workflows using timed Petri nets. Int. J. Adv. Manuf. Technol. 42, 5--6, 553--568.Google ScholarGoogle ScholarCross RefCross Ref
  9. Hu, H. S., Zhou, M. C., and Li, Z. W. 2009. Liveness enforcing supervision of video streaming systems using non-sequential Petri nets. IEEE Trans. Multimedia 11, 8, 1457--1465. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Hu, H. S., Zhou, M. C., and Li, Z. W. 2010a. Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets. IEEE Trans. Autom. Sci. Eng.Google ScholarGoogle ScholarCross RefCross Ref
  11. Hu, H. S., Zhou, M. C., and Li, Z. W. 2010b. Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Trans. Autom. Sci. Eng.Google ScholarGoogle ScholarCross RefCross Ref
  12. Hu, H. S., Zhou, M. C., and Li, Z. W. 2010c. Ratio and supervisory control for automated manufacturing systems using Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Huang, Y. S. 2007a. Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems. J. Inf. Sci. Eng. 23, 1, 215--231.Google ScholarGoogle Scholar
  14. Huang, Y. S. 2007b. Design of deadlock prevention supervisors using Petri nets. Int. J. Adv. Manuf. Technol. 35, 3--4, 349--362.Google ScholarGoogle ScholarCross RefCross Ref
  15. 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, 3, 283--305.Google ScholarGoogle ScholarCross RefCross Ref
  16. Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung D. S. 2006. Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 36, 6, 2152--2160. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Iordache, M. A. and Mantsaklis, P. J. 2003. Design of T-liveness enforcing supervisors in Petri nets. IEEE Trans. Automat. Contr. 48, 11, 1962--1974.Google ScholarGoogle ScholarCross RefCross Ref
  18. Li, Z. W. and Zhao, M. 2008. On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 2, 369--384. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Li, Z. W. and Zhou, M. C. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 34, 1, 38--51. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. 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. Inform. 2, 4, 313--325.Google ScholarGoogle ScholarCross RefCross Ref
  21. Li, Z. W. and Zhou, M. C. 2008a. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 2, 173--188. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Li, Z. W. and Zhou, M. C. 2008b. On siphon computation for deadlock control in a class of Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 3, 667--679. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Li, Z. W. and Zhou, M. C. 2008c. Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 1, 133--148. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Li, Z. W. and Zhou, M. C. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer-Verlag, Berlin. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Li, Z. W., Zhou, M. C., and Uzam, M. 2007. Deadlock control policy for a class of Petri nets without complete siphon enumeration. IET Control Theory Appl. 1594--1605.Google ScholarGoogle Scholar
  26. Li, Z. W., Zhou, M. C., and Jeng, M. D. 2008a. A maximally permissive deadlock prevention policy for fms based on Petri net siphon control and the theory of regions. IEEE Trans. Autom. Sci. Eng. 5, 1, 182--188.Google ScholarGoogle ScholarCross RefCross Ref
  27. Li, Z. W., Uzam, M., Zhou, M. C. 2008b. Deadlock control of concurrent manufacturing processes sharing finite resources. Int. J. Adv. Manuf. Technol. 38, 787--800.Google ScholarGoogle ScholarCross RefCross Ref
  28. Marsan, M. A., Balbo, G. Conte, G., Donatelli, S., and Franceschinis, G. 1995. Modeling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons.Google ScholarGoogle Scholar
  29. Murata, T. 1989. Petri nets: Properties, analysis, and applications. Proc. IEEE 71, 541--580.Google ScholarGoogle ScholarCross RefCross Ref
  30. Peterson, J. L., 1981. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Piroddi, L., Cordone, R., and Fumagalli, I. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 6, 1337--1348. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. Piroddi, L., Cossalter, M., and Ferrarini, L. 2009a. A resource decoupling approach for deadlock prevention in FMS. Int. J. Adv. Manuf. Technol. 40, 1--2, 157--170.Google ScholarGoogle ScholarCross RefCross Ref
  33. Piroddi, L., Cordone, R., and Fumagalli, I. 2009b. Combined siphon and marking generation for deadlock prevention in Petri Nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 39, 3, 650--661. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int. J. Adv. Manuf. Technol. 19, 192--208.Google ScholarGoogle ScholarCross RefCross Ref
  35. Uzam, M. 2004. The use of 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
  36. 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. A Syst. Human 37, 3, 362--371. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. 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

Index Terms

  1. Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique

              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!