Abstract
To design supervisors enforcing liveness of automated manufacturing systems (AMS), an efficient deadlock prevention policy based on the exhausted resources is proposed. This policy exploits a special structure of Petri nets in the sense that the liveness of a specific system can be guaranteed if no shared resource can be emptied. In contrast to the typical conventional policies, the explicit enumeration of either the reachable states or the siphons can be avoided. Experimental results verify the efficient implementation of the proposed policy.
Similar content being viewed by others
References
Ezpeleta J, Colom JM, Martinez J (1995) A Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):173–184
Viswanadham N, Narahari Y, Johnson TL (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans Robot Autom 6(6):713–723
Yamalidou Y, Moody JO, Antsaklis PJ, Lemmon MD (1996) Feedback control of Petri nets based on place invariants. Antomatica 32(1):15–28
Moody JO, Antsaklis PJ (2000) Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans Automat Contr 45(3):462–476
Park J, Reveliotis S (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans Automat Contr 46(10):1572–1583
Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Robot Autom 13(6):793–804
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(3):192–208
Uzam M, Wonham WM (2006) A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets. Int J Adv Manuf Technol 28(7–8):747–760
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(3–4):204–219
Uzam M, Zhou MC (2006) An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems. Int J Prod Res 44(10):1987–2030
Li ZW, Wei N (2007) Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets. Int J Adv Manuf Technol 33(1–2):24–35
Li ZW, Zhou MC (2004) Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A 34(1):38–51
Li ZW, Zhou MC (2006) Clarifications on the definitions of elementary siphons of Petri nets. IEEE Trans Syst Man Cybern Part A 36(6):1277–1279
Li ZW, Zhou MC (2006) Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics 2(4):313–325
Abdallah IB, ElMaraghy HA (1998) Deadlock prevention and avoidance in FMS: a Petri net based approach. Int J Adv Manuf Technol 14(10):704–715
Chao D (2007) Max’-controlled siphons for liveness of S 3 PGR 2. IET Proceedings Control Theory and Applications 1(4):933–936
Tricas F, García-Vallés F, Colom JM, Ezpeleta J (2005) A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. Proceedings of International Conference on Robotics and Automation, pp 272–278
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hu, H., Li, Z. Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources. Int J Adv Manuf Technol 40, 566–571 (2009). https://doi.org/10.1007/s00170-007-1366-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-007-1366-4