{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T16:42:45Z","timestamp":1776530565000,"version":"3.51.2"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T00:00:00Z","timestamp":1575244800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T00:00:00Z","timestamp":1575244800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100006595","name":"Unitatea Executiva pentru Finantarea Invatamantului Superior, a Cercetarii, Dezvoltarii si Inovarii","doi-asserted-by":"publisher","award":["PN-III-P1-1.1-TE-2016-0737"],"award-info":[{"award-number":["PN-III-P1-1.1-TE-2016-0737"]}],"id":[{"id":"10.13039\/501100006595","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010067","name":"Gobierno de Arag\u00f3n","doi-asserted-by":"publisher","award":["T94 DisCo group"],"award-info":[{"award-number":["T94 DisCo group"]}],"id":[{"id":"10.13039\/501100010067","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007041","name":"Universidad de Zaragoza","doi-asserted-by":"publisher","award":["JIUZ-2018-TEC-10"],"award-info":[{"award-number":["JIUZ-2018-TEC-10"]}],"id":[{"id":"10.13039\/501100007041","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s10626-019-00300-1","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T11:42:29Z","timestamp":1575286949000},"page":"55-79","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":44,"title":["Path planning for robotic teams based on LTL specifications and Petri net models"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4338-0421","authenticated-orcid":false,"given":"Marius","family":"Kloetzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Mahulea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,12,2]]},"reference":[{"key":"300_CR1","doi-asserted-by":"crossref","unstructured":"Aragues R, Shi G, Dimarogonas D, Sagues C, Johansson K (2012) Distributed algebraic connectivity estimation for adaptive event-triggered consensus. In: American Control Conference (ACC), pp 32\u201337","DOI":"10.1109\/ACC.2012.6315110"},{"key":"300_CR2","unstructured":"Baier C, Katoen JP (2008) Principles of Model Checking. MIT Press"},{"issue":"1","key":"300_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MRA.2007.339624","volume":"14","author":"C Belta","year":"2007","unstructured":"Belta C, Bicchi A, Egerstedt M, Frazzoli E, Klavins E, Pappas GJ (2007) Symbolic planning and control of robot motion. IEEE Robot Autom Mag 14 (1):61\u201371","journal-title":"IEEE Robot Autom Mag"},{"key":"300_CR4","volume-title":"Principles of Robot Motion: Theory, Algorithms, and Implementations","author":"H Choset","year":"2005","unstructured":"Choset H, Lynch KM, Hutchinson S, Kantor G, Burgard W, Kavraki LE, Thrun S (2005) Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, Boston"},{"key":"300_CR5","unstructured":"Clarke EMM, Peled D, Grumberg O (1999) Model Checking. MIT Press"},{"issue":"4","key":"300_CR6","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10514-012-9288-x","volume":"33","author":"H Costelha","year":"2012","unstructured":"Costelha H, Lima P (2012) Robot task plan representation by Petri nets: modelling, identification, analysis and execution. Auton Robot 33(4):337\u2013360","journal-title":"Auton Robot"},{"issue":"1","key":"300_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10626-016-0228-3","volume":"27","author":"E Dallal","year":"2017","unstructured":"Dallal E, Colombo A, Del Vecchio D, Lafortune S (2017) Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Discrete Event Dynamic Systems 27(1):1\u201344","journal-title":"Discrete Event Dynamic Systems"},{"issue":"2","key":"300_CR8","first-page":"371\u2014405","volume":"27","author":"J DeCastro","year":"2016","unstructured":"DeCastro J, Ehlers R, Runggers M, Balkan A, Kress-Gazit H (2016) Automated generation of dynamics-based runtime certificates for high-level control. Discrete Event Dynamic Systems 27(2):371\u2014405","journal-title":"Discrete Event Dynamic Systems"},{"issue":"5","key":"300_CR9","doi-asserted-by":"publisher","first-page":"1244","DOI":"10.1109\/TAC.2014.2298143","volume":"59","author":"X Ding","year":"2014","unstructured":"Ding X, Smith SL, Belta C, Rus D (2014) Optimal control of Markov decision processes with linear temporal logic constraints. IEEE Trans Autom Control 59(5):1244\u20131257","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"300_CR10","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MRA.2011.942117","volume":"18","author":"XC Ding","year":"2011","unstructured":"Ding XC, Kloetzer M, Chen Y, Belta C (2011) Automatic deployment of robotic teams. IEEE Robot Autom Mag 18(3):75\u201386","journal-title":"IEEE Robot Autom Mag"},{"key":"300_CR11","doi-asserted-by":"crossref","unstructured":"Duret-Lutz A, Lewkowicz A, Fauchille A, Michaud T, Renault E, Xu L (2016) Spot 2.0 - a framework for LTL and \u03c9-automata manipulation. In: Proc of ATVA\u201916, LNCS 9938, pp 122\u2013129","DOI":"10.1007\/978-3-319-46520-3_8"},{"key":"300_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-45139-0_4","volume-title":"Model Checking Software","author":"Javier Esparza","year":"2001","unstructured":"Esparza J, Heljanko K (2001) Implementing LTL model checking with net unfoldings. In: Proc of the 8th International SPIN Workshop on Model Checking of Software, pp 37\u201356"},{"issue":"2","key":"300_CR13","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45","author":"GE Fainekos","year":"2009","unstructured":"Fainekos GE, Girard A, Kress-Gazit H, Pappas GJ (2009) Temporal logic motion planning for dynamic robots. Automatica 45(2):343\u2013352","journal-title":"Automatica"},{"key":"300_CR14","doi-asserted-by":"crossref","unstructured":"Franceschelli M, Giua A, Pisano A (2014) Finite-time consensus on the median value by discontinuous control. In: American Control Conference (ACC), pp 946\u2013951","DOI":"10.1109\/ACC.2014.6859201"},{"issue":"1","key":"300_CR15","first-page":"156","volume":"10","author":"M Franceschelli","year":"2013","unstructured":"Franceschelli M, Rosa D, Seatzu C, Bullo F (2013) Gossip algorithms for heterogeneous multi-vehicle routing problems. Nonlinear Analysis:, Hybrid Systems 10 (1):156\u2013174","journal-title":"Nonlinear Analysis:, Hybrid Systems"},{"issue":"64","key":"300_CR16","first-page":"1","volume":"10","author":"S Garrido","year":"2013","unstructured":"Garrido S, Moreno L, Gomez J, Lima P (2013) General path planning methodology for leader-follower robot formations. Int J of Advanced Robotic Systems 10(64):1\u201310","journal-title":"Int J of Advanced Robotic Systems"},{"key":"300_CR17","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","volume-title":"Computer Aided Verification","author":"Paul Gastin","year":"2001","unstructured":"Gastin P, Oddoux D (2001) Fast LTL to b\u00fcchi automata translation. In: Proc of the 13th Conference on Computer Aided Verification (CAV), LNCS 2102, pp 53\u201365"},{"issue":"2","key":"300_CR18","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1177\/0278364914546174","volume":"34","author":"M Guo","year":"2015","unstructured":"Guo M, Dimarogonas DV (2015) Multi-agent plan reconfiguration under local LTL specifications. The International Journal of Robotics Research 34(2):218\u2013235","journal-title":"The International Journal of Robotics Research"},{"key":"300_CR19","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"G Holzmann","year":"2004","unstructured":"Holzmann G (2004) The Spin Model Checker, Primer and Reference Manual. Addison, Reading"},{"key":"300_CR20","unstructured":"IBM (2016) Ibm Ilog Cplex optimization studio. software. http:\/\/www.ibm.com\/products\/ilog-cplex-optimization-studio\/\nhttp:\/\/www.ibm.com\/products\/ilog-cplex-optimization-studio\/"},{"key":"300_CR21","doi-asserted-by":"crossref","unstructured":"Kloetzer M, Ding XC, Belta C (2011) Multi-robot deployment from LTL specifications with reduced communication. In: IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), pp 4867\u20134872","DOI":"10.1109\/CDC.2011.6160478"},{"issue":"4","key":"300_CR22","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s10626-013-0162-6","volume":"24","author":"M Kloetzer","year":"2014","unstructured":"Kloetzer M, Mahulea C (2014) A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems:, Theory and Applications 24(4):417\u2013445","journal-title":"Discrete Event Dynamic Systems:, Theory and Applications"},{"issue":"4","key":"300_CR23","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1109\/TASE.2015.2454299","volume":"12","author":"M Kloetzer","year":"2015","unstructured":"Kloetzer M, Mahulea C (2015) LTL-Based planning in environments with probabilistic observations. IEEE Trans Autom Sci Eng 12(4):1407\u20131420","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"300_CR24","doi-asserted-by":"crossref","unstructured":"Kloetzer M, Mahulea C (2016) Multi-robot path planning for syntactically co-safe LTL specifications. In: 13Th International Workshop on Discrete Event Systems (WODES), pp 452\u2013458","DOI":"10.1109\/WODES.2016.7497887"},{"key":"300_CR25","doi-asserted-by":"crossref","unstructured":"Kloetzer M, Mahulea C, Colom JM (2013) Petri net approach for deadlock prevention in robot planning. In: IEEE 18Th Conf on Emerging Technologies Factory Automation (ETFA), Cagliari, Italy","DOI":"10.1109\/ETFA.2013.6648102"},{"key":"300_CR26","doi-asserted-by":"crossref","unstructured":"Lacerda B, Lima P (2011) Designing petri net supervisors from LTL specifications. In: Proc. of Robotics: Science and Systems","DOI":"10.15607\/RSS.2011.VII.024"},{"key":"300_CR27","doi-asserted-by":"crossref","unstructured":"LaValle SM (2006) Planning algorithms. Cambridge","DOI":"10.1017\/CBO9780511546877"},{"issue":"4","key":"300_CR28","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","volume":"42","author":"Z Li","year":"2012","unstructured":"Li Z, Wu N, Zhou M (2012) Deadlock control of automated manufacturing systems based on Petri nets - a literature review. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 42(4):437\u2013462","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"issue":"3","key":"300_CR29","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/TAC.2015.2447193","volume":"61","author":"L Lin","year":"2016","unstructured":"Lin L, Stefanescu A, Su R (2016) On distributed and parameterized supervisor synthesis problems. IEEE Trans Autom Control 61(3):777\u2013782","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"300_CR30","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/3137574.3137579","volume":"3","author":"H Ma","year":"2017","unstructured":"Ma H, Koenig S (2017) AI Buzzwords explained: Multi-Agent path finding (MAPF). AI Matters 3(3):15\u201319","journal-title":"AI Matters"},{"issue":"6","key":"300_CR31","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MIS.2017.4531217","volume":"32","author":"H Ma","year":"2017","unstructured":"Ma H, Hoenig W, Cohen L, Uras T, Xu H, Kumar S, Ayanian N, Koenig S (2017) Overview: a hierarchical framework for plan generation and execution in multirobot systems. IEEE Intell Syst 32(6):6\u201312","journal-title":"IEEE Intell Syst"},{"issue":"7","key":"300_CR32","doi-asserted-by":"publisher","first-page":"2218","DOI":"10.1109\/TAC.2017.2760249","volume":"63","author":"C Mahulea","year":"2018","unstructured":"Mahulea C, Kloetzer M (2018) Robot planning based on Boolean specifications using Petri net models. IEEE Trans Autom Control 63(7):2218\u20132225","journal-title":"IEEE Trans Autom Control"},{"key":"300_CR33","doi-asserted-by":"crossref","unstructured":"Mahulea C, Kloetzer M (2014) Planning mobile robots with Boolean-based specifications. In: 53Rd IEEE Conference on Decision and Control (CDC), Los Angeles, USA","DOI":"10.1109\/CDC.2014.7040192"},{"key":"300_CR34","unstructured":"Makhorin A (2012) GNU linear programming kit. http:\/\/www.gnu.org\/software\/glpk\/"},{"issue":"4","key":"300_CR35","doi-asserted-by":"publisher","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":"1","key":"300_CR36","doi-asserted-by":"publisher","first-page":"5824","DOI":"10.1016\/j.ifacol.2017.08.539","volume":"50","author":"L Parrilla","year":"2017","unstructured":"Parrilla L, Mahulea C, Kloetzer M (2017) RMTool:, recent enhancements. IFAC-PapersOnLine 50(1):5824\u20135830","journal-title":"IFAC-PapersOnLine"},{"issue":"26","key":"300_CR37","first-page":"754","volume":"5","author":"S Robla-G\u00f3mez","year":"2017","unstructured":"Robla-G\u00f3mez S, Becerra VM, Llata JR, Gonz\u00e1lez-Sarabia E, Torre-Ferrero C, P\u00e9rez-Oria J (2017) Working together: a review on safe human-robot collaboration in industrial environments. IEEE Access 5(26):754\u201326,773","journal-title":"IEEE Access"},{"key":"300_CR38","doi-asserted-by":"publisher","first-page":"1639","DOI":"10.1016\/j.automatica.2013.02.036","volume":"49","author":"E Roszkowska","year":"2013","unstructured":"Roszkowska E, Reveliotis S (2013) A distributed protocol for motion coordination in free-range vehicular systems. Automatica 49:1639\u20131653","journal-title":"Automatica"},{"issue":"7","key":"300_CR39","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1177\/0278364918774135","volume":"37","author":"P Schillinger","year":"2018","unstructured":"Schillinger P, B\u00fcrger M, Dimarogonas D (2018) Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems. Int J Robot Res 37(7):818\u2013838","journal-title":"Int J Robot Res"},{"key":"300_CR40","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/j.artint.2014.11.006","volume":"219","author":"G Sharon","year":"2015","unstructured":"Sharon G, Stern R, Felner A, Sturtevant N (2015) Conflict-based search for optimal multi-agent pathfinding. Artif Intell 219:40\u201366","journal-title":"Artif Intell"},{"key":"300_CR41","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1016\/j.artint.2012.11.006","volume":"195","author":"G Sharon","year":"2013","unstructured":"Sharon G, Stern R, Goldenberg M (2013) Felner a: the increasing cost tree search for optimal multi-agent pathfinding. Artif Intell 195:470\u2013495","journal-title":"Artif Intell"},{"issue":"4","key":"300_CR42","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1177\/0018720816644364","volume":"58","author":"TB Sheridan","year":"2016","unstructured":"Sheridan TB (2016) Human robot interaction: Status and challenges. Hum Factors 58(4):525\u2013532","journal-title":"Hum Factors"},{"key":"300_CR43","first-page":"309","volume":"1491","author":"M Silva","year":"1998","unstructured":"Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of P\/T net systems. Lecture on Petri Nets I:, Basic Models 1491:309\u2013373","journal-title":"Lecture on Petri Nets I:, Basic Models"},{"issue":"5","key":"300_CR44","doi-asserted-by":"publisher","first-page":"1297","DOI":"10.1080\/00207543.2016.1201604","volume":"55","author":"A Theorin","year":"2017","unstructured":"Theorin A, Bengtsson K, Provost J, Lieder M, Johnsson C, Lundholm T, Lennartson B (2017) An event-driven manufacturing information system architecture for industry 4.0. Int J Prod Res 55(5):1297\u20131311","journal-title":"Int J Prod Res"},{"key":"300_CR45","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.automatica.2016.04.006","volume":"70","author":"J Tumova","year":"2016","unstructured":"Tumova J, Dimarogonas D (2016) Multi-agent planning under local LTL specifications and event-based synchronization. Automatica 70:239\u2013248","journal-title":"Automatica"},{"key":"300_CR46","doi-asserted-by":"crossref","unstructured":"Ulusoy A, Smith S, Ding X, Belta C (2012) Robust multi-robot optimal path planning with temporal logic constraints. In: 2012 IEEE Conference on Robotics and Automation (ICRA), pp 4693\u20134698","DOI":"10.1109\/ICRA.2012.6224792"},{"key":"300_CR47","doi-asserted-by":"crossref","unstructured":"Ware S, Su R (2016) Incremental scheduling of discrete event systems. In: 13Th International Workshop on Discrete Event Systems (WODES), pp 147\u2013152","DOI":"10.1109\/WODES.2016.7497840"},{"key":"300_CR48","doi-asserted-by":"crossref","unstructured":"Wolper P, Vardi M, Sistla A, et al. (1983) Reasoning about infinite computation paths, E.N.. In: Proceedings of the 24th IEEE Symposium on Foundations of Computer Science. AZ, Tucson, pp 185\u2013194","DOI":"10.1109\/SFCS.1983.51"},{"issue":"11","key":"300_CR49","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1287\/mnsc.17.11.712","volume":"17","author":"JY Yen","year":"1971","unstructured":"Yen JY (1971) Finding the k shortest loopless paths in a network. Manag Sci 17 (11):712\u2013716","journal-title":"Manag Sci"},{"key":"300_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.automatica.2018.08.022","volume":"98","author":"Y Zhou","year":"2018","unstructured":"Zhou Y, Hu H, Liu Y, Lin S, Dingm Z (2018) A distributed approach to robust control of multi-robot systems. Automatica 98:1\u201313","journal-title":"Automatica"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00300-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-019-00300-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00300-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,30]],"date-time":"2020-11-30T19:56:04Z","timestamp":1606766164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-019-00300-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,2]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["300"],"URL":"https:\/\/doi.org\/10.1007\/s10626-019-00300-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12,2]]},"assertion":[{"value":"18 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 November 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 December 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}