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.
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- Cormen, T. H., Leiserson, C. E., and Rives, R. E. 1990. Introduction to Algorithms. MIT Press/McGraw-Hill, New York. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- Fanti, M. P. 2002. Event-based controller to avoid deadlock and collisions in zone control AGVS. Int. J. Prod. Res. 40, 1453--1478.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- Holt, R. C. 1972. Some deadlock properties of computer systems. ACM Comput. Surv. 6, 179--196. Google Scholar
Digital Library
- Hsieh, F.-S. 2004. Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Trans. Syst. Man Cybern. Part A 34, 65--79. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- Jensen, K. 1984. Colored Petri nets and the invariant method. Theor. Comput. Sci. 14, 317--336.Google Scholar
Cross Ref
- Lawley, M. 1999. Deadlock avoidance for production systems with flexible routing. IEEE Trans. Rob. Autom. 15, 497--509.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- Leung, Y. T. and Shen, G. 1993. Resolving deadlocks in flexible manufacturing cells. J. Manuf. Syst. 12, 291--304.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Murata, T. 1989. Petri nets: Properties, analysis, and application. Proc. IEEE 77, 541--579.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- Reveliotis, S. 2000. Conflict resolution in AGV systems. IIE Trans. 32, 647--659.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- Roszkowska, E. 2004. Supervisory control for deadlock avoidance in compound processes. IEEE Trans. Syst. Man Cybern. Part A 34, 52--64. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Cross Ref
- Zhou, M. C. and Venkatesh, K. 1998. Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific, Singapore.Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
Index Terms
One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets
Recommendations
Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets
Special Issue on Modeling and Verification of Discrete Event SystemsDeadlock 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 ...
Deadlock analysis and control using Petri net decomposition techniques
AbstractPetri nets are an effective tool for modeling and analyzing deadlock problems of flexible manufacturing systems (FMSs). Based on Petri nets, this paper proposes a decomposition method for deadlock control of a class of Petri net ...
Structuring Acyclic Petri Nets for Reachability Analysis and Control
The incidence matrices—from places to transitions and vice versa—of an acyclic Petri net can obtain a block-triangular structure by reordering their rows and columns. This allows the efficient solution of some reachability problems for acyclic Petri ...






Comments