Abstract
Automated Guided Vehicle Systems (AGVSs) are material handling devices playing an important role in modern manufacturing. This paper presents a control strategy to avoid deadlock and collisions in AGVSs. A coloured Petri net modelling method allows a simple synthesis of a real-time closed loop control policy managing the path selection and the movement of vehicles in the AGVS. The proposed control scheme manages the AGVS traffic by avoiding deadlocks and undesirable situations (restricted deadlocks), which inevitably evolve to a deadlock in the next future.
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
Z.A. Banaszak and B.H. Krogh, “Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows,” IEEE Trans on Robotics and Automation, vol. 6, no. 6, Dec. 1990, pp. 724–734.
H. Cho, T.K. Kumaran, and R.A. Wysk, “Graph-Theoretic Deadlock Detection and Resolution for Flexible Manufacturing Systems,” IEEE Trans. on Robotics and Automation, vol. 11, no. 3, June 1995, pp. 413–421.
J. Ezpeleta, J.M. Colom, and J. Martinez, “A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems,” IEEE Trans. on Robotics and Automation, vol. 11, no. 2, Apr. 1995, pp. 173–184.
J. Ezpeleta, J. M. Colom, 1997, “Automatic sysnthesis of Colored Petri Nets for Control of FMS.” IEEE Trans. on Robotics and Automation, vol. 13, n. 3, 1997, pp. 327–337.
M.P. Fanti, B. Maione, S. Mascolo, and B. Turchiano. Fanti, B. Maione, S. Mascolo, and B. Turchiano, “Event Based Feedback Control for Deadlock Avoidance in Flexible Production Systems,” IEEE Trans. on Robotics and Automation, vol. 13, no. 3, June 1997, pp. 347–363.
M.P. Fanti, B. Maione, and B. Turchiano, “Event Control for Deadlock Avoidance in Production Systems with Multiple Capacity Resources,” Studies in Informatics and Control, vol. 7, no. 4, December 1998, pp. 343–364.
M.P. Fanti, B. Maione, and B. Turchiano, “Comparing Digraph and Petri Nets Approaches to Deadlock Avoidance in Petri Nets,” IEEE Trans. on Sistems, Man, and Cybernetics, -Part B: Cybernetics, vol. 13, no. 3, June 1997, pp. 347–363.
K. Feldmann, A.W., Colombo, “Material Flow and Control Sequence Specification of Flexible Systems Using Coloured Petri Nets,” Int. J Adv. Manufacturing Technology, vol. 14, 1998, pp. 760–774.
F. Harary, Graph Theory, Addison-Wesley Publishing Company, Reading, MA, April 1971.
F. Hsieh and S. Chang, “Dispatching-Driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems,” IEEE Trans. on Robotics and Automation, vol. 10, no. 2, Apr. 1994, pp. 196–209.
K. Jensen Colored Petri Nets, Basic Concepts, Analysis methods and Practical Use, vol I EATS Monography and Theoretical Computer Science, Springer Verlag, New York:, 1992.
C. W. Kim, and J.M.A. Tanchoco, “Conflict-free shortest bi-directional AGV routing,” International Journal of Production Research, vol. 29,no. 12, 1991, pp. 2377–2391.
M.A. Lawley, “Deadlock Avoidance for Production Systems with Flexible Routing,” IEEE Trans. on Robotics and Automation, vol. 15, no. 3, June 1999, pp. 497–509.
C. C. Lee, and J.T. Lin, “Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems,” International Journal of Production Research, vol.33, 1995, pp. 3249–3265.
T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, vol. 77, no. 4, Apr. 1989, pp. 541–580.
M. Nandula, and S.P. Dutta, “Performance evaluation of an auction-based manufacturing system using coloured Petri nets,”. International Journal of Production Research, vol. 38, no. 9, 38, 2000, pp. 2155–2171.
E.M. Reingold, J., Nievergelt, and N. Deo, Combinatorial Algorithms: Theory and practice. Prentice Hall, Englewood Cliffs, N. J., 1977.
S.A. Reveliotis and P.M. Ferreira, “Deadlock Avoidance Policies for Automated Manufacturing Cells,” IEEE Trans. on Robotics and Automation, vol. 12, no. 6, December 1996, pp. 845–857.
S.A. Reveliotis, M.A. Lawely, and P.M. Ferreira, “Polynomial-Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems,” IEEE Trans. on Automatic Control, vol. 42, no. 10, October 1997, pp. 1344–1357.
S.A. Reveliotis, “Conflict resolution in AGV Systems,” HE Transactions, vol. 32, 2000, pp. 647–659.
N. Viswanadham, Y. Narahari, and T.L. Johnson, “Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models,” IEEE Trans. on Robotics and Automation, vol. 6, no. 6, Dec. 1990, pp. 713–723.
N. Viswanadham, and Y. Narahari, Performance Modeling of Automated Manufacturing Systems. Englewood Cliff, NJ: Prentice Hall, 1992.
R.A. Wysk, N.S. Yang, and S. Joshi, “Detection of Deadlocks in Flexible Manufacturing Cells,” IEEE Trans. on Robotics and Automation, vol. 7, no. 6, December 1991, pp. 853–859.
N. Wu, 1999, “Necessary and sufficient Conditions for deadlock-free operation in Flexible Manufacturing Systems using Colored Petri Net model ” IEEE Transaction on Systems, Man, and Cybernetics — Part C: Applications and Reviews, vol. 29, no. 2, pp. 192–204.
M.S. Yeh, and W.C.Yeh, “Deadlock prediction and avoidance for zone-control AGVS,” Int. Journal of Production Research, vol. 36, n. 10, 1998, pp. 2879–2889.
L. Zeng L., H.P. Wang, H.P., S: Jin S, “Conflict detection of Automated Guided Vehicles International Journal of Production Research, vol. 29, no. 5, 1991, pp. 865–879.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Fanti, M.P. (2002). Deadlock Free Control in Automated Guided Vehicle Systems. In: Ezhilchelvan, P., Romanovsky, A. (eds) Concurrency in Dependable Computing. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3573-4_6
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3573-4_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5278-3
Online ISBN: 978-1-4757-3573-4
eBook Packages: Springer Book Archive