skip to main content
research-article

One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets

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

Abstract

It is desired that a deadlock control policy for automated manufacturing systems (AMS) is maximally permissive. However, its tractability issue remains open, and this work addresses this important issue. It models AMS with a resource-oriented Petri net (ROPN) and presents a necessary and sufficient condition under which there exists a one-step look-ahead maximally permissive control policy for deadlock avoidance in AMS. It further identifies some conditions under which a one-step look-ahead maximally permissive deadlock control policy exists for a single-capacity system. The conditions can be conveniently examined by using the developed ROPN model.

References

  1. Abdallah, B. and Elmaraghy, M. A. 1998. Deadlock prevention and avoidance in FMS: A Petri net based approach. Int. J. Adv. Manuf. Technol. 14, 705--715.Google ScholarGoogle ScholarCross RefCross Ref
  2. 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
  3. Chao, Y. and Li, Z. W. 2009. Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons. IET Control Theory Appl. 3, 391--403.Google ScholarGoogle ScholarCross RefCross Ref
  4. Cormen, T. H., Leiserson, C. E., and Rives, R. E. 1990. Introduction to Algorithms. MIT Press/McGraw-Hill, New York. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Ezpeleta, J. and Recalde, L. 2004. A deadlock avoidance approach for nonsequential resource allocation systems. IEEE Trans. Syst. Man Cybern. Part A 34, 93--101. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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, 171--184.Google ScholarGoogle ScholarCross RefCross Ref
  7. Fanti, M. P. 2002. Event-based controller to avoid deadlock and collisions in zone control AGVS. Int. J. Prod. Res. 40, 1453--1478.Google ScholarGoogle ScholarCross RefCross Ref
  8. Fanti, M. P., Maione, B., Mascolo, S., and Turchiano, B. 1997. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. Rob. Autom. 13, 347--363.Google ScholarGoogle ScholarCross RefCross Ref
  9. Fanti, M. P., Giua, A., and Seatzu, C. 2006. Monitor design for colored Petri nets: An application to deadlock prevention in railway networks. Control Eng. Pract. 14, 1231--1247.Google ScholarGoogle ScholarCross RefCross Ref
  10. Holt, R. C. 1972. Some deadlock properties of computer systems. ACM Comput. Surv. 6, 179--196. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Hsieh, F.-S. 2004. Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Trans. Syst. Man Cybern. Part A 34, 65--79. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Hu, H., Zhou, M. C., and Li, Z. W. 2009. Liveness enforcing supervision of video streaming systems using non-sequential Petri nets. IEEE Trans. Multimedia 11, 1446--1456. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, D. H. 2006. Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 36, 1248--1256. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Jeng, M.-D. and Dicesare, F. 1995. Synthesis using resource control nets for modeling shared resource systems. IEEE Trans. Rob. Autom. 11, 317--327.Google ScholarGoogle ScholarCross RefCross Ref
  15. Jensen, K. 1984. Colored Petri nets and the invariant method. Theor. Comput. Sci. 14, 317--336.Google ScholarGoogle ScholarCross RefCross Ref
  16. Lawley, M. 1999. Deadlock avoidance for production systems with flexible routing. IEEE Trans. Rob. Autom. 15, 497--509.Google ScholarGoogle ScholarCross RefCross Ref
  17. Lawley, M. and Reveliotis, S. 2001. Deadlock avoidance for sequential resource allocation systems: Hard and easy cases. Int. J. Flexible Manuf. Syst. 13, 385--404.Google ScholarGoogle ScholarCross RefCross Ref
  18. Lee, C.-C. and Lin, J. T. 1995. Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems. Int. J. Prod. Res. 33, 3249--3265.Google ScholarGoogle ScholarCross RefCross Ref
  19. Leung, Y. T. and Shen, G. 1993. Resolving deadlocks in flexible manufacturing cells. J. Manuf. Syst. 12, 291--304.Google ScholarGoogle ScholarCross RefCross Ref
  20. Lewis, L., Gurel, A., Bogdan, S., Doganalp, A., and Pastravanu, O. 1998. Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems. Automatica 34, 1083--1100. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Li, Z. W. and Shpitalni, M. 2009. Smart deadlock prevention policy for flexible manufacturing systems using Petri nets. IET Control Theory Appl. 3, 362--374.Google ScholarGoogle ScholarCross RefCross Ref
  22. Li, Z. W. and Zhao, M. 2008. On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans. Syst. Man Cybern. Part A 38, 369--384. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. 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. Part A 34, 38--51. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. 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. Informatics 2, 313--325.Google ScholarGoogle ScholarCross RefCross Ref
  25. Li, Z. W. and Zhou, M. C. 2008a. On siphon computation for deadlock control in a class of Petri nets. IEEE Trans. Syst. Man Cybern. Part A 38, 667--679. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Li, Z. W. and Zhou, M. C. 2008b. Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans. Syst. Man Cybern. Part A 38, 133--148. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. 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, 182--188.Google ScholarGoogle ScholarCross RefCross Ref
  28. Li, Z. W., Zhou, M. C., and Wu, N. Q. 2008b. 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
  29. Li, Z. W., Zhu, S., and Zhou, M. C. 2009. Application of a divide and conquer strategy to deadlock prevention in flexible manufacturing systems based on Petri nets. IEEE Trans. Syst. Man Cybern. Part C 39, 156--169. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Murata, T. 1989. Petri nets: Properties, analysis, and application. Proc. IEEE 77, 541--579.Google ScholarGoogle ScholarCross RefCross Ref
  31. 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
  32. Reveliotis, S. 2000. Conflict resolution in AGV systems. IIE Trans. 32, 647--659.Google ScholarGoogle ScholarCross RefCross Ref
  33. Reveliotis, S., Lawley, M., and Ferreira, P. 1997. Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. Autom. Control 42, 1344--1357.Google ScholarGoogle ScholarCross RefCross Ref
  34. Roszkowska, E. 2004. Supervisory control for deadlock avoidance in compound processes. IEEE Trans. Syst. Man Cybern. Part A 34, 52--64. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. 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
  36. Viswanadham, 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
  37. Wang, A. R., Li, Z. W., Jia, J. Y., and Zhou, M. C. 2009. An effective 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
  38. Wu, N. Q. 1999. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Trans. Syst. Man Cybern. Part C 29, 192--204. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Wu, N. Q. and Zhou, M. C. 2001. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model. IEEE Trans. Rob. Autom. 17, 658--669.Google ScholarGoogle ScholarCross RefCross Ref
  40. Wu, N. Q. and Zhou, M. C. 2004. Modeling and deadlock control of automated guided vehicle systems. IEEE/ASME Trans. Mechatronics 9, 50--57.Google ScholarGoogle ScholarCross RefCross Ref
  41. 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
  42. Wu, N. Q. and Zhou, M. C 2007a. Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets. Int. J. Prod. Res. 45, 3439--3456.Google ScholarGoogle ScholarCross RefCross Ref
  43. Wu, N. Q. and Zhou, M. C. 2007b. Shortest routing of bi-directional automated guided vehicles avoiding deadlock and blocking. IEEE/ASME Trans. Mechatronics 12, 63--72.Google ScholarGoogle ScholarCross RefCross Ref
  44. Wu, N. Q. and Zhou, M. C. 2007c. Deadlock resolution in automated manufacturing systems with robots. IEEE Trans. Autom. Sci. Eng. 4, 474--480.Google ScholarGoogle ScholarCross RefCross Ref
  45. Wu, N. Q. and Zhou, M. C. 2010. Process vs resource-oriented Petri net modeling of automated manufacturing systems. Asian J. Control 12, 267--280.Google ScholarGoogle ScholarCross RefCross Ref
  46. Wu, N. Q. Zhou, M. C., and Li, Z. W. 2008. Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Trans. Syst. Man Cybern. Part A 38, 56--69. Google ScholarGoogle ScholarDigital LibraryDigital Library
  47. Wysk, R. A., Yang, N. S., and Joshi, S. 1991. Detection of deadlocks in flexible manufacturing cells. IEEE Trans. Rob. Autom. 7, 853--879.Google ScholarGoogle ScholarCross RefCross Ref
  48. Yan, M. M., Li, Z. W., Wei, N., and Zhao, M. 2009. A deadlock prevention policy for a class of Petri nets S3PMR. J. Inf. Sci. Eng. 25, 167--183.Google ScholarGoogle Scholar
  49. Zhou, M. C. and Dicesare, F. 1991. Parallel and sequential exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Trans. Rob. Autom. 7, 515--527.Google ScholarGoogle ScholarCross RefCross Ref
  50. Zhou, M. C. and Venkatesh, K. 1998. Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific, Singapore.Google ScholarGoogle Scholar
  51. Zhou, M. C., Dicesare, F., and Desrochers, A. 1992a. A hybrid methodology for synthesis of Petri nets models for manufacturing systems. IEEE Trans. Rob. Autom. 8, 50--361.Google ScholarGoogle ScholarCross RefCross Ref
  52. Zhou, M. C., Dicesare, F., and Rudolph, D. 1992b. Design and implementation of a Petri net based supervisor for a flexible manufacturing System. Automatica 28, 1199--1208. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using 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!