Abstract
Multiple products through a flexible manufacturing system (FMS) with limited resources can lead to deadlock situation. In this chapter, we study the problem of deadlock avoidance by using the Petri net (PN) model for FMS and introducing the concept of deadlock structure. The necessary and sufficient conditions to prevent deadlock are characterized. We use a state feedback restriction policy which prevents some enabled transitions from firing for avoiding the deadlock in the system. When the number of any key kind of resources is greater than 1, this policy is minimally restrictive and maximizes the resource usage. We present the Petri net realization of these restriction policies. The Petri net controlled by the policies may be used as the Petri net model for an FMS in which deadlock can never occur. The restriction policies can be easily implemented. Several examples are provided for illustration.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.L Peterson,Petri Net Theory and the Modeling of Systems, Englewood Cliffs, NJ: prentice hall, 1981.
N. Viswanadham, Y. Narahari and T. L. Johnson, “Deadlock prevention and deadlock avoidance in FMS using Petri net models,” IEEE Trans. Robotics and Automation, Vol. 6, No. 6. 1990.
Minoura and C. Ding, “A deadlock prevention method for a sequence controller for manufacturing”, International Journal of Robotics and Automation, Vol. 6, No. 3, 1991.
Z. A. Banaszak and B. H. Krogh, “Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows, ” IEEE Trans. Robotics and Automation, Vol.6, No, 6, 1990.
T Murata, B. Shenker and S. M. shatz, “Detection of ada static deadlock using Petri net invariants”, IEEE Trans. Software Eng., Vol.15, No. 3, 1989.
D. Hauschildt and R. Valk, “Safe states in banker like resource allocation problems”, Lecture Notes Comp. Sci., 1985.
E. G. Coffman Jr., M. Elphick and A. Shoshani, “ System deadlocks,” Comp. Surveys, Vol.3, No. 2, pp. 67–78. June 1971.
B. H. Krogh and L. E. Holloway, “Synthesis of feedback control logic for discrete manufacturing systems,” Automatica, Vol. 27, No., 1991.
K. Y. Xing, The research on control theory and methods for discrete event system, Ph. D dissertation, Xian Jiaotong University, P. R. China, 1994.
M. C. Zhon and F. DiCesare, Petri Net Synthesis for Discrete Event control of Manufacturing Systems, Kluwer Academic, Boston, MA, 1993.
D. Y. Hsich and S. C. Chang, “Dispatching—driven deadlock avoidance controller synthesis for flexible manufacturing systems,” IEEE Trans. Robotics and Automation, 10(2), pp 196–209, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media New York
About this chapter
Cite this chapter
Xing, K., Hu, B., Chen, H. (1995). Deadlock Avoidance Policy for Flexible Manufacturing Systems. In: Zhou, M. (eds) Petri Nets in Flexible and Agile Automation. The Springer International Series in Engineering and Computer Science, vol 310. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2231-7_9
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2231-7_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5938-8
Online ISBN: 978-1-4615-2231-7
eBook Packages: Springer Book Archive