{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T23:30:27Z","timestamp":1770334227181,"version":"3.49.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,3,24]],"date-time":"2013-03-24T00:00:00Z","timestamp":1364083200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s10626-013-0162-6","type":"journal-article","created":{"date-parts":[[2013,3,23]],"date-time":"2013-03-23T02:19:11Z","timestamp":1364005151000},"page":"417-445","source":"Crossref","is-referenced-by-count":30,"title":["A Petri net based approach for multi-robot path planning"],"prefix":"10.1007","volume":"24","author":[{"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":[[2013,3,24]]},"reference":[{"key":"162_CR1","doi-asserted-by":"crossref","unstructured":"Belta C, Habets LCGJM (2004) Constructing decidable hybrid systems with velocity bounds. In: 43rd IEEE conference on decision and control. Paradise Island, Bahamas, pp 467\u2013472","DOI":"10.1109\/CDC.2004.1428674"},{"key":"162_CR2","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":"162_CR3","unstructured":"Cgal Community (2011) Cgal, Computational Geometry Algorithms Library. http:\/\/www.cgal.org"},{"key":"162_CR4","doi-asserted-by":"crossref","unstructured":"Costelha H, Lima P (2012) Robot task plan representation by Petri nets: modelling, identification, analysis and execution. Journal of Autonomous Robots 33(4)337\u2013360","DOI":"10.1007\/s10514-012-9288-x"},{"key":"162_CR5","unstructured":"Cowlagi RV, Tsiotras P (2010) Kinematic feasibility guarantees in geometric path planning using history-based transition costs over cell decompositions. In: American control conference (ACC), pp 5388\u20135393"},{"issue":"2","key":"162_CR6","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1109\/TRO.2011.2171613","volume":"28","author":"RV Cowlagi","year":"2012","unstructured":"Cowlagi RV, Tsiotras P (2012) Hierarchical motion planning with dynamical feasibility guarantees for mobile robotic vehicles. IEEE Trans Robot 28(2):379\u2013395","journal-title":"IEEE Trans Robot"},{"key":"162_CR7","doi-asserted-by":"crossref","unstructured":"Ding J, Li E, Huang H, Tomlin CJ (2011) Reachability-based synthesis of feedback policies for motion planning under bounded disturbances. In: IEEE international conference on robotics and automation (ICRA), pp 2160\u20132165","DOI":"10.1109\/ICRA.2011.5980268"},{"key":"162_CR8","unstructured":"Ding XC, Smith SL, Belta C, Rus D (2011) LTL control in uncertain environments with probabilistic satisfaction guarantees. In: 18th IFAC world congress. Milan, Italy"},{"key":"162_CR9","doi-asserted-by":"crossref","unstructured":"Fainekos GE, Kress-Gazit H, Pappas GJ (2005) Hybrid controllers for path planning: a temporal logic approach. In: Proceedings of the 44th IEEE conference on decision and control, pp 4885\u20134890","DOI":"10.1109\/CDC.2005.1582935"},{"key":"162_CR10","unstructured":"Fukuda K (2011) CDD\/CDD+ package. http:\/\/www.ifor.math.ethz.ch\/~fukuda\/cdd_home\/"},{"issue":"9","key":"162_CR11","doi-asserted-by":"crossref","first-page":"939","DOI":"10.1177\/0278364904045564","volume":"23","author":"B Gerkey","year":"2004","unstructured":"Gerkey B, Mataric M (2004) A formal analysis and taxonomy of task allocation in multi-robot systems. Int J Rob Res 23(9):939\u2013954","journal-title":"Int J Rob Res"},{"key":"162_CR12","doi-asserted-by":"crossref","first-page":"938","DOI":"10.1109\/TAC.2006.876952","volume":"51","author":"LCGJM Habets","year":"2006","unstructured":"Habets LCGJM, Collins PJ, van Schuppen JH (2006) Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans Autom Contr 51:938\u2013948","journal-title":"IEEE Trans Autom Contr"},{"key":"162_CR13","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.automatica.2003.08.001","volume":"40","author":"LCGJM Habets","year":"2004","unstructured":"Habets LCGJM, van Schuppen JH (2004) A control problem for affine dynamical systems on a full-dimensional polytope. Automatica 40:21\u201335","journal-title":"Automatica"},{"key":"162_CR14","unstructured":"Hoffman AJ, Kruskal JB (1956) Integral boundary points of convex polyhedra. In: Kuhn HW, Tucker AW (eds) Linear inequalities and related systems. Annals of mathematics studies, vol\u00a038. Princeton University Press, pp 223\u2013246"},{"key":"162_CR15","unstructured":"Jensen K (1994) Coloured Petri nets: basic concepts, analysis methods, and practical use. In: EATCS monographs on theoretical computer science. Springer"},{"key":"162_CR16","doi-asserted-by":"crossref","unstructured":"Johnson B, Kress-Gazit H (2011) Probabilistic analysis of correctness of high-level robot behavior with sensor error. In: Robotics: science and systems. Los Angeles, CA","DOI":"10.15607\/RSS.2011.VII.020"},{"key":"162_CR17","doi-asserted-by":"crossref","unstructured":"Karmarkar N (1984) A new polynomial-time algorithm for linear programming. In: Proceedings of the 16th annual ACM symposium on theory of computing, STOC \u201984. New York, NY, USA, pp 302\u2013311","DOI":"10.1145\/800057.808695"},{"issue":"4","key":"162_CR18","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1109\/TSMCC.2007.897330","volume":"37","author":"G Kim","year":"2007","unstructured":"Kim G, Chung W (2007) Navigation behavior selection using generalized stochastic Petri nets for a service robot. IEEE Trans Syst Man Cybern, Part C Appl Rev 37(4):494\u2013503","journal-title":"IEEE Trans Syst Man Cybern, Part C Appl Rev"},{"issue":"5","key":"162_CR19","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1109\/TSMCA.2003.817387","volume":"33","author":"J King","year":"2003","unstructured":"King J, Pretty R, Gosine R (2003) Coordinated execution of tasks in a multiagent environment. IEEE Trans Syst Man Cybern, Part A, Syst Humans 33(5):615\u2013619","journal-title":"IEEE Trans Syst Man Cybern, Part A, Syst Humans"},{"issue":"1","key":"162_CR20","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/TRO.2009.2035776","volume":"26","author":"M Kloetzer","year":"2010","unstructured":"Kloetzer M, Belta C (2010) Automatic deployment of distributed teams of robots from temporal logic motion specifications. IEEE Trans Robot 26(1):48\u201361","journal-title":"IEEE Trans Robot"},{"issue":"3","key":"162_CR21","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1109\/TII.2010.2050001","volume":"6","author":"M Kloetzer","year":"2010","unstructured":"Kloetzer M, Mahulea C, Belta C, Silva M (2010) An automated framework for formal verification of timed continuous Petri nets. IEEE Trans Ind Informat 6(3):460\u2013471","journal-title":"IEEE Trans Ind Informat"},{"key":"162_CR22","doi-asserted-by":"crossref","unstructured":"Kloetzer M, Mahulea C, Pastravanu O (2011) A probabilistic abstraction approach for planning and controlling mobile robots. In: IEEE Conf. on emerging technologies and factory automation (ETFA). Toulouse, France, pp 1\u20138","DOI":"10.1109\/ETFA.2011.6059088"},{"key":"162_CR23","doi-asserted-by":"crossref","unstructured":"Kloetzer M, Mahulea C, Pastravanu O (2011) Software tool for probabilistic abstraction for planning and controling mobile robots. http:\/\/webdiis.unizar.es\/~cmahulea\/research\/prob_abstr.zip","DOI":"10.1109\/ETFA.2011.6059088"},{"issue":"2","key":"162_CR24","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.robot.2011.10.005","volume":"60","author":"S Konur","year":"2012","unstructured":"Konur S, Dixon C, Fisher M (2012) Analysing robot swarm behaviour via probabilistic model checking. Robot Auton Syst 60(2):199\u2013213","journal-title":"Robot Auton Syst"},{"key":"162_CR25","doi-asserted-by":"crossref","unstructured":"Lahijanian M, Belta C, Andersson S (2009) A probabilistic approach for control of a stochastic system from LTL specifications. In: IEEE conf. on decision and control. Shanghai, China, pp 2236\u20132241","DOI":"10.1109\/CDC.2009.5400629"},{"key":"162_CR26","doi-asserted-by":"crossref","unstructured":"LaValle SM (2006) Planning algorithms. Cambridge. http:\/\/planning.cs.uiuc.edu","DOI":"10.1017\/CBO9780511546877"},{"key":"162_CR27","unstructured":"Little I, Thi\u00e9baux S (2007) Probabilistic planning vs replanning. In: ICAPS workshop on IPC: past, present and future"},{"key":"162_CR28","unstructured":"Liu W, Winfield AFT, Sa J (2007) Modelling swarm robotic systems: a case study in collective foraging. In: Towards autonomous robotic systems (TAROS), pp 25\u201332"},{"key":"162_CR29","doi-asserted-by":"crossref","unstructured":"Mahulea C, Kloetzer M (2012) A probabilistic abstraction approach for planning and controlling mobile robots. In: IEEE Conf. on emerging technologies and factory automation (ETFA). Krakow, Poland","DOI":"10.1109\/ETFA.2011.6059088"},{"key":"162_CR30","unstructured":"Makhorin A (2007) GLPK-GNU linear programming kit. http:\/\/www.gnu.org\/software\/glpk"},{"issue":"4","key":"162_CR31","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"},{"key":"162_CR32","unstructured":"Quottrup MM, Bak T, Izadi-Zamanabadi R (2004) Multi-robot motion planning: a timed automata approach. In: IEEE conf. on robotics and automation. New Orleans, LA, pp 4417\u20134422"},{"issue":"4","key":"162_CR33","doi-asserted-by":"crossref","first-page":"801","DOI":"10.2514\/1.7370","volume":"28","author":"E Rippel","year":"2005","unstructured":"Rippel E, Bar-Gill A, Shimkin N (2005) Fast graph-search algorithms for general-aviation flight trajectory generation. J Guid Control Dyn 28(4):801\u2013811","journal-title":"J Guid Control Dyn"},{"key":"162_CR34","doi-asserted-by":"crossref","unstructured":"Shewchuk JR (1996) Triangle: engineering a 2D quality mesh generator and delaunay triangulator. In: Lin MC, Manocha D (eds) Applied computational geometry: towards geometric engineering (Lecture Notes in Computer Science), vol 1148. Springer, pp 203\u2013222. From the First ACM Workshop on Applied Computational Geometry","DOI":"10.1007\/BFb0014497"},{"key":"162_CR35","doi-asserted-by":"crossref","unstructured":"Silva M (1993) Introducing Petri nets. In: Practice of Petri nets in manufacturing. Chapman & Hall, pp 1\u201362","DOI":"10.1007\/978-94-011-6955-4_1"},{"key":"162_CR36","doi-asserted-by":"crossref","unstructured":"Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of net systems. In: Rozenberg G, Reisig W (eds) Lectures in Petri nets. I: basic models (Lecture Notes in Computer Science), vol 1491. Springer, pp 309\u2013373","DOI":"10.1007\/3-540-65306-6_19"},{"key":"162_CR37","unstructured":"The MathWorks (2010) MATLAB\u00ae 2010b. Natick, MA"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0162-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-013-0162-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0162-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T04:27:01Z","timestamp":1562819221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-013-0162-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,24]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["162"],"URL":"https:\/\/doi.org\/10.1007\/s10626-013-0162-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,24]]}}}