Abstract
Deadlocks in automated container terminals cause significant losses in port operational performance and thus, in order for the successful implementation of automated guided vehicle systems for container ports, it is crucial to prevent deadlocks. A graph-based representation of deadlocks is provided in this study, and deadlocks are prevented by imposing constraints in vehicle movements. Such constraints are embedded in the software controller by attaching control nodes. The simulation results show that the operational performances of container terminals may significantly be improved by the proposed controller.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ahuja R.K., Magnanti T.L., Orlin J.B. (1993) Network flows: Theory, algorithms and applications. Prentice Hall, Englewood Cliffs, NJ
Banaszak Z., Krogh B. (1990) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation 6(6): 724–734
Cho H., Kumaran T.K., Wysk R.A. (1995) Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11(3): 413–421
Chu F., Xie X.L. (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation 13(6): 793–804
Coffman E.G., Elphick M.J., Shosbani A. (1971) System deadlocks. ACM Computing Surveys 3(2): 67–78
Ezpeleta J., Colom J.M., Martinez J. (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11(2): 173–184
Ezpeleta J., Colom J.M. (1997) Automatic Synthesis of Colored Petri nets for the control of FMS. IEEE Transactions on Robotics and Automation 13(3): 327–337
Fanti M.P., Maione B., Mascolo S., Turchiano B. (1997) Event based feedback control for deadlock avoidance in flexible manufacturing systems. IEEE Transactions on Robotics and Automation 13(3): 347–363
Hsieh F.A., Chang S.C. (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 10(2): 196–209
Jensen K. (1996) Colored Petri Nets; Basic Concepts, Analysis Methods and Practical Use, Vol. 1, EATCS Monographs on Theoretical Computer Science. Springer-Verlag, NY
Kim K.H., Jeon S.M., Ryu K.R. (2007) Deadlock prevention for automated guided vehicles in automated container terminals. Container Terminal and Automated Transport Systems. Springer-Verlag, Berlin Heidelberg
Kumaran T.K., Chang W., Cho H., Wysk R.A. (1994) A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. International Journal of Production Research 32(10): 2361–2379
Lawley M.A., Reveliotis S.A., Ferreira P. (1997) Flexible manufacturing system structural control and the neighborhood policy, Part 1. Correctness and scalability. IIE Transactions 29: 877–887
Lawley M.A., Reveliotis S.A., Ferreira P. (1997) Flexible manufacturing system structural control and the neighborhood policy, Part 2. Generalization, optimization and efficiency. IIE Transactions 29: 889–899
Lawley M.A., Reveliotis S.A., Ferreira P. (1998) A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 14(6): 796–809
Lee, C. (2000). Design and Control of Automated Guided Vehicle Systems. Ph.D. Dissertation, The Pennsylvania State University, University Park, PA.
Lehmann M., Grunow M., Guenther H.O. (2007) Deadlock handling for real-time control of AGVs at automated container terminals. Container Terminal and Automated Transport Systems. Springer-Verlag, Berlin Heidelberg
Marie J.M., Wang L., Xie X. (1997) A class of Petri nets for manufacturing system integration. IEEE Transactions on Robotics and Automation 13(3): 317–324
Reveliotis S.A., Lawley M.A., Ferreira P. (1997) Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control 42(10): 1344–1357
Sng L.H. (2002). Deadlock prevention in automated guided vehicle, B.Eng. Thesis, National University of Singapore, Singapore.
Viswanadham N., Narahari Y., Johnson T.L. (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation 6(6): 713–723
Wysk R.A., Yang N.S., Joshi S. (1991) Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation 7(6): 853–859
Yang C.H., Choi Y.S., Ha T.Y. (2005) Simulation based performance evaluation of transport vehicles at automated container terminals. OR Spectrum 2(26): 149–170
Zhou M. (1995) Deadlock avoidance schemes in a distributed robotic system: Petri net modeling and analysis. Journal of Robotic Systems 12(3): 177–187
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Park, J.H., Kim, H.J. & Lee, C. Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment. J Intell Manuf 20, 321–325 (2009). https://doi.org/10.1007/s10845-008-0212-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10845-008-0212-3