{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T22:36:58Z","timestamp":1777934218626,"version":"3.51.4"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,7,21]],"date-time":"2015-07-21T00:00:00Z","timestamp":1437436800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Life Robotics"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s10015-015-0215-z","type":"journal-article","created":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T04:39:15Z","timestamp":1437367155000},"page":"262-269","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Model reformulation for conflict-free routing problems using Petri Net and Deterministic Finite Automaton"],"prefix":"10.1007","volume":"20","author":[{"given":"Ryosuke","family":"Nakamura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Sawada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seiichi","family":"Shin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Kumagai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hisato","family":"Yoneda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,21]]},"reference":[{"key":"215_CR1","unstructured":"Gartland K (1999) Automated Material Handling System (AMHS) Framework User Requirements Document: Version 1.0, International SEMATECH, Technol. Transfer #99073793A-TR"},{"issue":"4","key":"215_CR2","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1109\/TSMCC.2007.897321","volume":"37","author":"D-Y Liao","year":"2007","unstructured":"Liao D-Y, Jeng M-D, Zhou M-C (2007) Application of petri nets and lagrangian relaxation to scheduling automatic material-handling vehicles in 300-mm semiconductor manufacturing. IEEE Trans Syst Man Cybern C 37(4):504\u2013516","journal-title":"IEEE Trans Syst Man Cybern C"},{"issue":"3","key":"215_CR3","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1080\/00207540110091712","volume":"40","author":"L Qiu","year":"2002","unstructured":"Qiu L, Hsu WJ, Huang SY, Wang H (2002) Scheduling and routing algorithm for AGVs: a survey. Int J Prod Res 40(3):745\u2013760","journal-title":"Int J Prod Res"},{"issue":"3","key":"215_CR4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/j.ejor.2004.09.020","volume":"170","author":"IFA Vis","year":"2006","unstructured":"Vis IFA (2006) Survey of research in the design and control of automated guided vehicle systems. Eur J Oper Res 170(3):677\u2013709","journal-title":"Eur J Oper Res"},{"issue":"4","key":"215_CR5","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1023\/B:FLEX.0000036032.41757.3d","volume":"15","author":"G Desaulniers","year":"2003","unstructured":"Desaulniers G, Langevin A, Riopel D (2003) Dispatching and conflict-free routing of automated guided vehicles: an exact approach. Int J Flex Manuf Syst 15(4):309\u2013331","journal-title":"Int J Flex Manuf Syst"},{"key":"215_CR6","doi-asserted-by":"crossref","unstructured":"Kulatunga AK, Liu DK, Dissanayake G, Siyambalapitiya SB (2006) Ant colony optimization based simultaneous task allocation and path planning of autonomous vehicles. In: Proc. CIS","DOI":"10.1109\/ICCIS.2006.252349"},{"issue":"3","key":"215_CR7","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1109\/TASE.2010.2043096","volume":"7","author":"T Nishi","year":"2010","unstructured":"Nishi T, Maeno R (2010) Petri net decomposition approach to optimization of route planning problems for AGV systems. IEEE Trans Autom Sci Eng 7(3):523\u2013537","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"215_CR8","doi-asserted-by":"crossref","unstructured":"Zeinaly Y, Schutter BD, Hellendoorn H (2013) An MPC scheme for routing problem in baggage handling systems: a linear programming approach. In: Proc. ICNSC, pp 786\u2013791","DOI":"10.1109\/ICNSC.2013.6548838"},{"key":"215_CR9","doi-asserted-by":"crossref","unstructured":"Nakamura R, Sawada K, Shin S, Kumagai K, Yoneda H (2013) Simultaneous dispatching and routing for OHT systems via hybrid system modeling. In: Proc. IECON, pp 4416\u20134421","DOI":"10.1109\/IECON.2013.6699846"},{"key":"215_CR10","doi-asserted-by":"crossref","unstructured":"Nakamura R, Sawada K, Shin S, Kumagai K, Yoneda H (2014) Dispatching and conflict-free routing based on model predictive control in semiconductor fab. In: Proc. CACS, pp 224\u2013229","DOI":"10.1109\/CACS.2014.7097197"},{"key":"215_CR11","unstructured":"Williams HP (2013) Model building in mathematical programming, 5th ed. Wiley, Chichester"},{"issue":"4","key":"215_CR12","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"issue":"9","key":"215_CR13","doi-asserted-by":"crossref","first-page":"1670","DOI":"10.1016\/j.jprocont.2012.07.003","volume":"22","author":"K Kobayashi","year":"2012","unstructured":"Kobayashi K, Imura J (2012) Deterministic finite automata representation for model predictive control of hybrid systems. J Process Cont 22(9):1670\u20131680","journal-title":"J Process Cont"},{"issue":"3","key":"215_CR14","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A Bemporad","year":"1999","unstructured":"Bemporad A, Morari M (1999) Control of systems integrating logic, dynamics, and constraints. Automatica 35(3):523\u2013537","journal-title":"Automatica"},{"key":"215_CR15","unstructured":"http:\/\/www.mathworks.com\/"},{"key":"215_CR16","unstructured":"http:\/\/www-01.ibm.com\/software\/integration\/optimization\/cplex-optimizer\/"},{"key":"215_CR17","unstructured":"IBM ILOG CPLEX Optimization Studio CPLEX User\u2019s Manual version 12 Release 6"}],"container-title":["Artificial Life and Robotics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10015-015-0215-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10015-015-0215-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10015-015-0215-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T08:36:13Z","timestamp":1559118973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10015-015-0215-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,21]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["215"],"URL":"https:\/\/doi.org\/10.1007\/s10015-015-0215-z","relation":{},"ISSN":["1433-5298","1614-7456"],"issn-type":[{"value":"1433-5298","type":"print"},{"value":"1614-7456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,21]]}}}