{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T11:55:32Z","timestamp":1778846132577,"version":"3.51.4"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T00:00:00Z","timestamp":1232409600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Manuf"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10845-008-0212-3","type":"journal-article","created":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T18:13:32Z","timestamp":1232388812000},"page":"321-325","source":"Crossref","is-referenced-by-count":12,"title":["Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment"],"prefix":"10.1007","volume":"20","author":[{"given":"Jong Hyuk","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyoung Joong","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chulung","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,1,20]]},"reference":[{"key":"212_CR1","volume-title":"Network flows: Theory, algorithms and applications","author":"R.K. Ahuja","year":"1993","unstructured":"Ahuja R.K., Magnanti T.L., Orlin J.B. (1993) Network flows: Theory, algorithms and applications. Prentice Hall, Englewood Cliffs, NJ"},{"issue":"6","key":"212_CR2","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1109\/70.63273","volume":"6","author":"Z. Banaszak","year":"1990","unstructured":"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\u2013734","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"3","key":"212_CR3","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/70.388784","volume":"11","author":"H. Cho","year":"1995","unstructured":"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\u2013421","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"6","key":"212_CR4","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F. Chu","year":"1997","unstructured":"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\u2013804","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"2","key":"212_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E.G. Coffman","year":"1971","unstructured":"Coffman E.G., Elphick M.J., Shosbani A. (1971) System deadlocks. ACM Computing Surveys 3(2): 67\u201378","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"212_CR6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"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\u2013184","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"3","key":"212_CR7","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1109\/70.585896","volume":"13","author":"J. Ezpeleta","year":"1997","unstructured":"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\u2013337","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"3","key":"212_CR8","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/70.585898","volume":"13","author":"M.P. Fanti","year":"1997","unstructured":"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\u2013363","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"2","key":"212_CR9","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/70.282544","volume":"10","author":"F.A. Hsieh","year":"1994","unstructured":"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\u2013209","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"212_CR10","volume-title":"Colored Petri Nets; Basic Concepts, Analysis Methods and Practical Use, Vol. 1, EATCS Monographs on Theoretical Computer Science","author":"K. Jensen","year":"1996","unstructured":"Jensen K. (1996) Colored Petri Nets; Basic Concepts, Analysis Methods and Practical Use, Vol. 1, EATCS Monographs on Theoretical Computer Science. Springer-Verlag, NY"},{"key":"212_CR11","volume-title":"Deadlock prevention for automated guided vehicles in automated container terminals. Container Terminal and Automated Transport Systems","author":"K.H. Kim","year":"2007","unstructured":"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"},{"issue":"10","key":"212_CR12","doi-asserted-by":"crossref","first-page":"2361","DOI":"10.1080\/00207549408957073","volume":"32","author":"T.K. Kumaran","year":"1994","unstructured":"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\u20132379","journal-title":"International Journal of Production Research"},{"key":"212_CR13","first-page":"877","volume":"29","author":"M.A. Lawley","year":"1997","unstructured":"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\u2013887","journal-title":"IIE Transactions"},{"key":"212_CR14","first-page":"889","volume":"29","author":"M.A. Lawley","year":"1997","unstructured":"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\u2013899","journal-title":"IIE Transactions"},{"issue":"6","key":"212_CR15","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1109\/70.720355","volume":"14","author":"M.A. Lawley","year":"1998","unstructured":"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\u2013809","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"212_CR16","unstructured":"Lee, C. (2000). Design and Control of Automated Guided Vehicle Systems. Ph.D. Dissertation, The Pennsylvania State University, University Park, PA."},{"key":"212_CR17","volume-title":"Deadlock handling for real-time control of AGVs at automated container terminals. Container Terminal and Automated Transport Systems","author":"M. Lehmann","year":"2007","unstructured":"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"},{"issue":"3","key":"212_CR18","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1109\/70.585895","volume":"13","author":"J.M. Marie","year":"1997","unstructured":"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\u2013324","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"10","key":"212_CR19","doi-asserted-by":"crossref","first-page":"1344","DOI":"10.1109\/9.633824","volume":"42","author":"S.A. Reveliotis","year":"1997","unstructured":"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\u20131357","journal-title":"IEEE Transactions on Automatic Control"},{"key":"212_CR20","unstructured":"Sng L.H. (2002). Deadlock prevention in automated guided vehicle, B.Eng. Thesis, National University of Singapore, Singapore."},{"issue":"6","key":"212_CR21","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1109\/70.63257","volume":"6","author":"N. Viswanadham","year":"1990","unstructured":"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\u2013723","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"6","key":"212_CR22","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1109\/70.105378","volume":"7","author":"R.A. Wysk","year":"1991","unstructured":"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\u2013859","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"26","key":"212_CR23","first-page":"149","volume":"2","author":"C.H. Yang","year":"2005","unstructured":"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\u2013170","journal-title":"OR Spectrum"},{"issue":"3","key":"212_CR24","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1002\/rob.4620120303","volume":"12","author":"M. Zhou","year":"1995","unstructured":"Zhou M. (1995) Deadlock avoidance schemes in a distributed robotic system: Petri net modeling and analysis. Journal of Robotic Systems 12(3): 177\u2013187","journal-title":"Journal of Robotic Systems"}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-008-0212-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10845-008-0212-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-008-0212-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:11:43Z","timestamp":1559268703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10845-008-0212-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,20]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["212"],"URL":"https:\/\/doi.org\/10.1007\/s10845-008-0212-3","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"value":"0956-5515","type":"print"},{"value":"1572-8145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,20]]}}}