Abstract
Deadlock states are highly undesirable, not only for proper operation of Flexible Manufacturing Systems (FMS for brevity). Deadlocks are caused by inappropriate use of finite resources resulting in special wait situations, which indefinitely block sections of the FMS. This paper gives a survey of the most important and promising deadlock avoidance techniques published in the literature, and presents a new approach recently developed by the authors. The main features of this new approach — no restriction of FMS flexibility without necessity, applicability even in presence of non-preventable events (like machine breakdowns), as well as possible alternatives in the resource allocation sequences — are briefly discussed by means of an example.
This is a preview of subscription content, log in via an institution to check access.
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
K. Barkaoui, A. Chaoui and B. Zouari (1997), “Supervisory Control of Discrete Event Systems Based on Structure Theory of Petri Nets,” Proc. IEEE Conf. on Systems, Man, and Cybernetics, vol. 4, 3750–3755.
H. Cho, T.K. Kumar and R.A. Wysk (1995), “Graph-Theoretic Deadlock Detection and Resolution for Flexible Manufacturing Systems,” IEEE Trans. on Robotics and Automation, vol. 11, 413–421.
M.P. Fanti, G. Maione, S. Mascolo and B. Turchiano (1997), “Event-Based Feedback Control for Deadlock Avoidance in Flexible Production Systems,” IEEE Trans. on Robotics and Automation, vol. 13(3), 347–363.
P. Kumar, K. Kothandaraman and P. Ferreira (1998), “Scalable and Maximally-Permissive Deadlock Avoidance for FMS,” Proc. IEEE Conf. on Robotics and Automation, vol. 1, 580–585.
K. Lautenbach and H. Ridder (1996), “The Linear Algebra of Deadlock Avoidance-A Petri Net Approach,” Internal report, Univ. Koblenz-Landau, Germany.
M.A. Lawley (1999), “Deadlock Avoidance for Production Systems with Flexible Routing,” IEEE Trans. on Robotics and Automation, vol. 15, 497–509.
Y. Li and W.M. Wonham (1993), “Control of Vector Discrete Event Systems: I-The Base Model,” IEEE Trans. on Automatic Control, vol. 38(8), 1214–1227.
Y. Li and W.M. Wonham (1994), “Control of Vector Discrete Event Systems: II-Controller Synthesis,” IEEE Trans. on Automatic Control, vol. 39(3), 512–531.
M. Seidl and G. Schmidt (1998), “Automatic High Level Controller Design for Flexible Manufacturing Systems,” Proc. Workshop on Discrete Event Systems, vol. 1, 529–532.
N. Wu (1999), “Necessary and Sufficient Conditions for Deadlock-Free Operation in Flexible Manufacturing Systems Using a Colored Petri Net Model,” IEEE Trans. on Systems, Man, and Cybernetics-Part C: Applications and Reviews, vol. 29(2), 192–204.
K.Y. Xing, B.S. Hu and H.X. Chen (1996), “Deadlock Avoidance Policy for Petri-Net Modeling of Flexible Manufacturing Systems with Shared Resources,” IEEE Trans. on Automatic Control, vol. 41(2), 289–295.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Seidl, M., Schmidt, G. (2000). Avoiding Deadlocks in Flexible Manufacturing Systems. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_15
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive