{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:26:47Z","timestamp":1775874407951,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,3,29]],"date-time":"2012-03-29T00:00:00Z","timestamp":1332979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Robot"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s10514-012-9288-x","type":"journal-article","created":{"date-parts":[[2012,3,28]],"date-time":"2012-03-28T19:22:55Z","timestamp":1332962575000},"page":"337-360","source":"Crossref","is-referenced-by-count":52,"title":["Robot task plan representation by Petri nets: modelling, identification, analysis and execution"],"prefix":"10.1007","volume":"33","author":[{"given":"Hugo","family":"Costelha","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Lima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,3,29]]},"reference":[{"key":"9288_CR1","unstructured":"Akin, H. L., Birk, A., Bonarini, A., Kraetzschmar, G., Lima, P., Nardi, D., Pagello, E., Reggiani, M., Saffiotti, A., Sanfeliu, A., & Spaan, M. (2008) White paper on network robot systems, and formal models and methods for cooperation. http:\/\/aass.oru.se\/Agora\/EuronCoop\/Docs\/SIG_CoopRob_WhitePaper.pdf ."},{"key":"9288_CR2","volume-title":"6th IFAC symposium on intelligent autonomous vehicles IAV2007","author":"M. Barbosa","year":"2007","unstructured":"Barbosa, M., Ramos, N., & Lima, P. (2007). MeRMaID - multiple-robot middleware for intelligent decision-making. In 6th IFAC symposium on intelligent autonomous vehicles IAV2007 Amsterdam: Elsevier."},{"key":"9288_CR3","first-page":"24","volume-title":"Proc. of the 2008 European conference on artificial intelligence (ECAI 2008)","author":"A. Basu","year":"2008","unstructured":"Basu, A., Gallien, M., Lesire, C., Nguyen, T. H., Bensalem, S., Ingrand, F., & Sifakis, J. (2008). Incremental component-based construction and verification of a robotic system. In Proc. of the 2008 European conference on artificial intelligence (ECAI 2008) (24\u201329)."},{"key":"9288_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-86501-4","volume-title":"Stochastic Petri nets: an introduction to the theory","author":"F. Bause","year":"2002","unstructured":"Bause, F., & Kritzinger, P. S. (2002). Stochastic Petri nets: an introduction to the theory (2nd edn.). Berlin: Vieweg Verlag.","edition":"2"},{"key":"9288_CR5","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-55610-9_177","volume-title":"Advances in Petri nets 1992, the DEMON project","author":"L. Bernardinello","year":"1992","unstructured":"Bernardinello, L., & Cindio, F. D. (1992). A survey of basic net models and modular net classes. In Advances in Petri nets 1992, the DEMON project (304\u2013351). Berlin: Springer."},{"key":"9288_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"C. G. Cassandras","year":"2008","unstructured":"Cassandras, C. G., & Lafortune, S. (2008). Introduction to discrete event systems (2nd edn.). New York: Springer.","edition":"2"},{"issue":"3","key":"9288_CR7","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TASE.2006.885124","volume":"4","author":"A. Castelnuovo","year":"2007","unstructured":"Castelnuovo, A., Ferrarini, L., & Piroddi, L. (2007). An incremental petri net-based approach to the modeling of production sequences in manufacturing systems. IEEE Transactions on Automation Science and Engineering, 4(3), 424\u2013434.","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"9288_CR8","first-page":"1187","volume-title":"Proceedings of the 7th international joint conference on autonomous agents and multiagent systems, international foundation for autonomous agents and multiagent systems (AAMAS \u201908)","author":"H. Costelha","year":"2008","unstructured":"Costelha, H., & Lima, P. (2008). Modelling, analysis and execution of multi-robot tasks using petri nets. In Proceedings of the 7th international joint conference on autonomous agents and multiagent systems, international foundation for autonomous agents and multiagent systems (AAMAS \u201908) (pp. 1187\u20131190)."},{"issue":"7","key":"9288_CR9","doi-asserted-by":"crossref","first-page":"1697","DOI":"10.1016\/j.automatica.2007.10.031","volume":"7","author":"A. Dideban","year":"2008","unstructured":"Dideban, A., & Alla, H. (2008). Reduction of constraints for controller synthesis based on safe Petri nets. Automatica, 7(7), 1697\u20131706.","journal-title":"Automatica"},{"issue":"9","key":"9288_CR10","doi-asserted-by":"crossref","first-page":"1349","DOI":"10.1016\/j.patcog.2004.03.020","volume":"38","author":"P. Dupont","year":"2005","unstructured":"Dupont, P., Denis, F., & Esposito, Y. (2005). Links between probabilistic automata and hidden Markov models: probability distributions, learning models and induction algorithms. Pattern Recognition, 38(9), 1349\u20131371.","journal-title":"Pattern Recognition"},{"key":"9288_CR11","unstructured":"Espiau, B., Kapellos, K., Jourdan, M., & Simon, D. (1995). On the validation of robotics control systems. Part I. High level specification and formal verification. Tech. rep. 2719, INRIA."},{"issue":"3","key":"9288_CR12","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., & Nilsson, N. J. (1971). STRIPS: a new approach to the application of theorem proving. Artificial Intelligence, 2(3), 189\u2013208.","journal-title":"Artificial Intelligence"},{"key":"9288_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri nets for systems engineering","author":"C. Girault","year":"2003","unstructured":"Girault, C., & Valk, R. (2003). Petri nets for systems engineering. Berlin: Springer."},{"key":"9288_CR14","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1109\/ETFA.2008.4638447","volume-title":"IEEE int. conf. on emerging technologies and factory automation (ETFA 2008)","author":"D. Herrero-Perez","year":"2008","unstructured":"Herrero-Perez, D., & Martinez-Barbera, H. (2008). Petri Nets based coordination of flexible autonomous guided vehicles in flexible manufacturing systems. In IEEE int. conf. on emerging technologies and factory automation (ETFA 2008) (pp. 508\u2013515)."},{"key":"9288_CR15","first-page":"1904","volume-title":"Proc. of the 20th int. joint conf. on artificial intelligence (IJCAI\u201907)","author":"S. Hickmott","year":"2007","unstructured":"Hickmott, S., Rintanen, J., Thi\u00e9baux, S., & White, L. (2007). Planning via petri net unfolding. In Proc. of the 20th int. joint conf. on artificial intelligence (IJCAI\u201907) (pp. 1904\u20131911). San Mateo: Morgan Kaufmann."},{"key":"9288_CR16","volume-title":"Applied mathematical modeling: a multidisciplinary approach","author":"J. Jarvis","year":"1999","unstructured":"Jarvis, J., & Shier, D. (1999). Graph-theoretic analysis of finite Markov chains. In Applied mathematical modeling: a multidisciplinary approach Boca Raton: CRC Press."},{"issue":"4","key":"9288_CR17","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 Transactions on Systems, Man and Cybernetics. Part C, Applications and Reviews, 37(4), 494\u2013503.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics. Part C, Applications and Reviews"},{"key":"9288_CR18","doi-asserted-by":"crossref","unstructured":"King, J., Pretty, R., & Gosine, R. (2003) Coordinated execution of tasks in a multiagent environment. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 615\u2013619.","DOI":"10.1109\/TSMCA.2003.817387"},{"issue":"3\u20134","key":"9288_CR19","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0921-8890(96)00057-7","volume":"19","author":"J. Ko\u0161eck\u00e1","year":"1997","unstructured":"Ko\u0161eck\u00e1, J., Christensen, H. I., & Bajcsy, R. (1997). Experiments in behaviour composition. Robotics and Autonomous Systems, 19(3\u20134), 287\u2013298.","journal-title":"Robotics and Autonomous Systems"},{"issue":"6","key":"9288_CR20","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H. Kress-Gazit","year":"2009","unstructured":"Kress-Gazit, H., Fainekos, G. E., & Pappas, G. J. (2009). Temporal logic-based reactive mission and motion planning. IEEE Transactions on Robotics, 25(6), 1370\u20131381.","journal-title":"IEEE Transactions on Robotics"},{"key":"9288_CR21","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/ACSD.2009.19","volume-title":"Ninth int. conf. on application of concurrency to system design","author":"S. Mauser","year":"2009","unstructured":"Mauser, S., & Lorenz, R. (2009). Variants of the language based synthesis problem for Petri nets. In Ninth int. conf. on application of concurrency to system design (pp. 89\u201398)."},{"key":"9288_CR22","unstructured":"Michel, O. (1998) Webots\u2014fast prototyping and simulation of mobile robots."},{"key":"9288_CR23","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"4","author":"T. Murata","year":"1989","unstructured":"Murata, T. (1989). Petri nets: properties, analysis and applications. Proceedings of the IEEE, 4, 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"9288_CR24","unstructured":"Ocasio, VA (2009). Stability of boolean dynamical systems and graph periodicity. Master\u2019s thesis, University of Puerto Rico, Mayag\u00fcez Campus."},{"key":"9288_CR25","unstructured":"Petri, C. A. (1966). Kommunikation mit automaten. Tech. rep., Bonn: Institut f\u00fcr Instrumentelle Mathematik, english translation."},{"key":"9288_CR26","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov decision processes\u2014discrete stochastic dynamic programming","author":"M. L. Puterman","year":"1994","unstructured":"Puterman, M. L. (1994). Markov decision processes\u2014discrete stochastic dynamic programming (1st edn.). New York: Wiley.","edition":"1"},{"key":"9288_CR27","first-page":"1070","volume-title":"IEEE int. conf. on robotics and biomimetics, 2008 (ROBIO 2008)","author":"Y. Qin","year":"2009","unstructured":"Qin, Y., & Xu, R. (2009). GSPN-based modeling and analysis for robotized assembly system. In IEEE int. conf. on robotics and biomimetics, 2008 (ROBIO 2008) (pp. 1070\u20131075)."},{"key":"9288_CR28","first-page":"903","volume-title":"Proceedings of the international conference on software engineering research and practice & conference on programming languages and compilers, (SERP 2006)","author":"A. R\u00f6ck","year":"2006","unstructured":"R\u00f6ck, A., & Kresman, R. (2006). On Petri nets and predicate-transition nets. In Proceedings of the international conference on software engineering research and practice & conference on programming languages and compilers, (SERP 2006) (pp. 903\u2013909)."},{"key":"9288_CR29","doi-asserted-by":"crossref","unstructured":"Toktam Ebadi, M. P., & Purvis, M. (2009) A framework for facilitating cooperation in multi-agent systems. The Journal of Supercomputing.","DOI":"10.1007\/s11227-009-0372-8"},{"key":"9288_CR30","volume-title":"Performance modeling of automated manufacturing systems","author":"N. Viswanadham","year":"1992","unstructured":"Viswanadham, N., & Narahari, Y. (1992). Performance modeling of automated manufacturing systems. New York: Prentice Hall."},{"issue":"4","key":"9288_CR31","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1109\/21.108296","volume":"21","author":"F. Wang","year":"1991","unstructured":"Wang, F., Kyriakopoulos, K., Tsolkas, A., & Saridis, G. (1991). A Petri-net coordination model for an intelligent mobile robot. IEEE Transactions on Systems Science and Cybernetics, 21(4), 777\u2013789.","journal-title":"IEEE Transactions on Systems Science and Cybernetics"},{"key":"9288_CR32","unstructured":"Younes, H. L. S. & Littman, M. L. (2004). PPDDL1.0: An extension to PDDL for expressing planning domains with probabilistic effects. Tech. rep. CMU-CS-04-167, Carnegie Mellon University."},{"key":"9288_CR33","doi-asserted-by":"crossref","DOI":"10.1142\/3376","volume-title":"Modeling, simulation and control of flexible manufacturing systems","author":"M. Zhou","year":"1999","unstructured":"Zhou, M., & Venkatesh, K. (1999). Modeling, simulation and control of flexible manufacturing systems. Singapore: World Scientific Publishing."},{"key":"9288_CR34","first-page":"267","volume-title":"Proc. of the fourth int. workshop on modelling of objects, components, and agents (MOCA\u201906)","author":"VA Ziparo","year":"2006","unstructured":"Ziparo, VA, & Iocchi, L. (2006). Petri net plans. In Proc. of the fourth int. workshop on modelling of objects, components, and agents (MOCA\u201906) (pp. 267\u2013290). Hamburg: University of Hamburg."}],"container-title":["Autonomous Robots"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-012-9288-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10514-012-9288-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-012-9288-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,8]],"date-time":"2022-01-08T13:11:54Z","timestamp":1641647514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10514-012-9288-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,29]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["9288"],"URL":"https:\/\/doi.org\/10.1007\/s10514-012-9288-x","relation":{},"ISSN":["0929-5593","1573-7527"],"issn-type":[{"value":"0929-5593","type":"print"},{"value":"1573-7527","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,29]]}}}