{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:52:14Z","timestamp":1770353534292,"version":"3.49.0"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,7,31]],"date-time":"2010-07-31T00:00:00Z","timestamp":1280534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1007\/s10458-010-9146-1","type":"journal-article","created":{"date-parts":[[2010,7,31]],"date-time":"2010-07-31T18:13:39Z","timestamp":1280600019000},"page":"344-383","source":"Crossref","is-referenced-by-count":63,"title":["Petri Net Plans"],"prefix":"10.1007","volume":"23","author":[{"given":"V. A.","family":"Ziparo","sequence":"first","affiliation":[]},{"given":"L.","family":"Iocchi","sequence":"additional","affiliation":[]},{"given":"Pedro U.","family":"Lima","sequence":"additional","affiliation":[]},{"given":"D.","family":"Nardi","sequence":"additional","affiliation":[]},{"given":"P. F.","family":"Palamara","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,31]]},"reference":[{"key":"9146_CR1","unstructured":"Akharware, N. (2005). Pipe2: Platform independent petri net editor. M.Sc. thesis, Imperial College of Science, Technology and Medicine, University of London, London, UK."},{"key":"9146_CR2","doi-asserted-by":"crossref","unstructured":"Calisi, D., Censi, A., Iocchi, L., & Nardi, D. (2008, September). OpenRDK: a modular framework for robotic software development. In Proceedings of international conference on intelligent robots and systems (IROS), pp. 1872\u20131877.","DOI":"10.1109\/IROS.2008.4651213"},{"key":"9146_CR3","first-page":"763","volume":"24","author":"D. Calisi","year":"2007","unstructured":"Calisi D., Farinelli A., Iocchi L., Nardi D. (2007) Multi-objective exploration and search for autonomous rescue robots. Journal of Field Robotics, Special Issue on Quantitative Performance Evaluation of Robotic and Intelligent Systems 24: 763\u2013777","journal-title":"Journal of Field Robotics, Special Issue on Quantitative Performance Evaluation of Robotic and Intelligent Systems"},{"key":"9146_CR4","doi-asserted-by":"crossref","unstructured":"Celaya, J. R., Desrochers, A. A., & Graves, R. J. (2007). Modeling and analysis of multi-agent systems using petri nets. In IEEE international conference on systems, man and cybernetics (ISIC), pp. 1439\u20131444.","DOI":"10.1109\/ICSMC.2007.4413960"},{"key":"9146_CR5","unstructured":"Chaimowicz, L., Campos, M. F. M., & Kumar, V. (2002, May). Dynamic role assignment for cooperative robots. In Proceedings of the 2002 IEEE international conference on robotics and automation (ICRA02), pp. 292\u2013298, Washington, DC"},{"key":"9146_CR6","first-page":"486","volume":"25","author":"P. R. Cohen","year":"1991","unstructured":"Cohen P. R., Levesque H. J. (1991) Teamwork. Special Issue on Cognitive Science and Artificial Intelligence 25: 486\u2013512","journal-title":"Special Issue on Cognitive Science and Artificial Intelligence"},{"issue":"2\u20133","key":"9146_CR7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0921-8890(03)00021-6","volume":"43","author":"S. Coradeschi","year":"2003","unstructured":"Coradeschi S., Saffiotti A. (2003) An introduction to the anchoring problem. Robotics and Autonomous Systems 43(2\u20133): 85\u201396","journal-title":"Robotics and Autonomous Systems"},{"key":"9146_CR8","unstructured":"Cost, R. S., Chen, Y., Finin, T., Labrou, Y. K., & Peng, Y. (2000). Using colored petri nets for conversation modeling, Vol. 1916 of Lecture Notes in AI (pp. 178\u2013192). Berlin: Springer."},{"key":"9146_CR9","doi-asserted-by":"crossref","unstructured":"Costelha, H., & Lima, P. (2007). Modelling, analysis and execution of robotic tasks using petri nets. In IEEE\/RSJ international conference on Intelligent robots and systems (IROS), pp. 1449\u20131454, October 29\u2013November 2, 2007.","DOI":"10.1109\/IROS.2007.4399365"},{"key":"9146_CR10","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Iocchi, L., Nardi, D., & Rosati, R. (1997). Planning with sensing for a mobile robot. In Proceedings of 4th European conference on planning (ECP\u201997).","DOI":"10.1007\/3-540-63912-8_83"},{"issue":"1\u20132","key":"9146_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. De Giacomo","year":"2000","unstructured":"Giacomo G., Lesp\u00e9rance Y., Levesque H. J. (2000) Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1\u20132): 109\u2013169","journal-title":"Artificial Intelligence"},{"key":"9146_CR12","unstructured":"de Silva, L., Sardina S., & Padgham, L. (2009). First principles planning in bdi systems. In AAMAS \u201909: Proceedings of the 8th international conference on Autonomous agents and multiagent systems, pp. 1105\u20131112. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2009."},{"key":"9146_CR13","doi-asserted-by":"crossref","unstructured":"Dias, M. B., & Stentz, A. T. (2001, August). A market approach to multirobot coordination. Technical Report CMU-RI-TR-01-26, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA.","DOI":"10.21236\/ADA531275"},{"key":"9146_CR14","doi-asserted-by":"crossref","unstructured":"Dias, M. D., & Stentz, A. (2002, September) Opportunistic optimization for market-based multirobot control. In 2002 IEEE\/RSJ international conference on Intelligent robots and systems (IROS\u201902), pp. 2714\u20132720.","DOI":"10.1109\/IRDS.2002.1041680"},{"key":"9146_CR15","unstructured":"Durfee, E. H. (1999). Distributed problem solving and planning. In G. Weiss (Ed.), Multiagent systems: A modern approach to distributed artificial intelligence (pp. 121\u2013164). Cambridge: MIT Press."},{"key":"9146_CR16","unstructured":"Farinelli, A., Iocchi, L., Nardi, D., & Ziparo, V. A. (2006). Assignment of dynamically perceived tasks by token passing in multi-robot systems. Proceedings of the IEEE, Special issue on multi-robot systems, 94(7), 1271\u20131288. ISSN:0018-9219."},{"key":"9146_CR17","volume-title":"Multi-agent systems","author":"J. Ferber","year":"1999","unstructured":"Ferber J. (1999) Multi-agent systems. Addison-Wesley, Boston"},{"key":"9146_CR18","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. (1971) STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2: 189\u2013208","journal-title":"Artificial Intelligence"},{"key":"9146_CR19","unstructured":"Firby, R. J. (1989). Adaptive execution in complex dynamic worlds. PhD thesis, Yale."},{"key":"9146_CR20","unstructured":"Gat, E. (1992). Integrating planning and reacting in a heterogeneous asynchronous architecture for controlling real-world mobile robots. In Proceedings of the tenth national conference on artificial intelligence, pp. 809\u2013815."},{"key":"9146_CR21","doi-asserted-by":"crossref","unstructured":"Gat, E. (1997, February). ESL: A language for supporting robust plan execution in embedded autonomous agents. In Proceedings of the IEEE aerospace conference (Vol. 1, pp. 319\u2013324). Aspen, CO: Snowmass.","DOI":"10.1109\/AERO.1997.574422"},{"key":"9146_CR22","doi-asserted-by":"crossref","unstructured":"Georgeff, M. P., & Lansky, A. L. (1986). Procedural knowledge. In Proceedings of the IEEE special issue on knowledge representation, Vol. 74, pp. 1383\u20131398.","DOI":"10.1109\/PROC.1986.13639"},{"key":"9146_CR23","doi-asserted-by":"crossref","unstructured":"Gerkey, B., & Matari\u0107, M. J. (2000, December). Principled communication for dynamic multi-robot task allocation. In Proceedings of the international symposium on experimental robotics, pp. 353\u2013362, Waikiki, Hawaii.","DOI":"10.1007\/3-540-45118-8_36"},{"issue":"4","key":"9146_CR24","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1109\/TSMCB.2006.870647","volume":"36","author":"V. Giordano","year":"2006","unstructured":"Giordano V., Ballal P., Lewis F., Turchiano B., Zhang J.B. (2006) Supervisory control of mobile sensor networks: Math formulation, simulation, and implementation. IEEE Transactions on Systems, Man and Cybernetics\u2014Part B: Cybernetics 36(4): 554\u2013562","journal-title":"IEEE Transactions on Systems, Man and Cybernetics\u2014Part B: Cybernetics"},{"issue":"1","key":"9146_CR25","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1613\/jair.1829","volume":"25","author":"G. Gutnik","year":"2006","unstructured":"Gutnik G., Kaminka G. A. (2006) Representing conversations for scalable overhearing. Journal of Artificial Intelligence Research 25(1): 349\u2013387","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"2","key":"9146_CR26","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/TII.2009.2038691","volume":"6","author":"D. Herrero-Perez","year":"2010","unstructured":"Herrero-Perez D., Martinez-Barbera H. (2010) Modeling distributed transportation systems composed of flexible automated guided vehicles in flexible manufacturing systems. IEEE Transactions on Industrial Informatics 6(2): 166\u2013180","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"2","key":"9146_CR27","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1025589008533","volume":"15","author":"L. Iocchi","year":"2003","unstructured":"Iocchi L., Nardi D., Piaggio M., Sgorbissa A. (2003) Distributed coordination in heterogeneous multi-robot systems. Autonomous Robots 15(2): 155\u2013168","journal-title":"Autonomous Robots"},{"key":"9146_CR28","unstructured":"Kaminka, G. A., & Frenkel, I. (2005). Flexible teamwork in behavior-based robots. In AAAI, pp. 108\u2013113."},{"issue":"5","key":"9146_CR29","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. K., Gosine R. G. (2003) Coordinated execution of tasks in a multiagent environment. IEEE Transactions on Systems, Man, and Cybernetics, Part A 33(5): 615\u2013619","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"key":"9146_CR30","unstructured":"Kobt, Y. T., Beauchemin, S. S., & Barron, J. L. (2007). Petri net-based cooperation in multi-agent systems. In Proceedings of 4th Canadian conference on computer and robot vision, 2007"},{"key":"9146_CR31","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3540634932_2","volume":"1303","author":"K. Konolige","year":"1997","unstructured":"Konolige K. (1997) COLBERT: A language for reactive control in Saphira. Lecture Notes in Computer Science 1303: 31\u201350","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"9146_CR32","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1080\/095281397147095","volume":"9","author":"K. Konolige","year":"1997","unstructured":"Konolige K., Myers K. L., Ruspini E. H., Saffiotti A. (1997) The Saphira architecture: A design for autonomy. Journal of Experimental and Theoretical Artificial Intelligence 9(1): 215\u2013235","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"9146_CR33","doi-asserted-by":"crossref","unstructured":"Kontes, G., & Lagoudakis, M. G. (2007). Coordinated team play in the four-legged robocup league. In Proceedings of IEEE international conference on Tools with artificial intelligence (ICTAI), Vol. 1, pp. 109\u2013116.","DOI":"10.1109\/ICTAI.2007.164"},{"issue":"6","key":"9146_CR34","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., Pappa 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":"9146_CR35","doi-asserted-by":"crossref","unstructured":"Kuo, C.-H., & Lin, I.-H. (2006). Modeling and control of autonomous soccer robots using distributed agent oriented petri nets. In IEEE international conference on Systems, man and cybernetics (SMC apos), Vol. 5, pp. 4090\u20134095.","DOI":"10.1109\/ICSMC.2006.384774"},{"key":"9146_CR36","doi-asserted-by":"crossref","unstructured":"Loetzsch, M., Risler, M., & Jungel, M. (2006). Xabsl\u2014A pragmatic approach to behavior engineering. In IEEE\/RSJ international conference on Intelligent robots and systems, 2006, pp. 5124\u20135129.","DOI":"10.1109\/IROS.2006.282605"},{"key":"9146_CR37","unstructured":"Lima, D., & Milutinovic, P. (2002). Petri net models of robotic tasks. In IEEE international conference on Robotics and Automation (ICRA\u201902)."},{"key":"9146_CR38","doi-asserted-by":"crossref","unstructured":"Maier, C., & Moldt, D. (2001). Object coloured petri nets\u2014A formal technique for object oriented modelling. Concurrent object-oriented programming and petri nets: Advances in petri nets, pp. 406\u2013427.","DOI":"10.1007\/3-540-45397-0_16"},{"key":"9146_CR39","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy J., Hayes P. (1969) Some philisophical problems from the standpoint of artificial intelligence. Machine Intelligence 4: 463\u2013502","journal-title":"Machine Intelligence"},{"issue":"4","key":"9146_CR40","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. Proceedings of the IEEE 77(4): 541\u2013580","journal-title":"Proceedings of the IEEE"},{"key":"9146_CR41","unstructured":"Palamara, P. F., Ziparo, V. A., Iocchi, L., Nardi, D., Lima, P., & Costelha, H. (2008). A robotic soccer passing task using petri net plans (demo paper). In D. Parkes, J. P. M\u00fcller, L. Padgham, & S. Parsons (Eds.), Proceedings of 7th international conference on Autonomous agents and multiagent systems (AAMAS 2008) (pp. 1711\u20131712). Estoril, Portugal: IFAAMAS Press."},{"issue":"2","key":"9146_CR42","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/70.681242","volume":"14","author":"L. E. Parker","year":"1998","unstructured":"Parker L. E. (1998) ALLIANCE: An architecture for fault tolerant multirobot cooperation. IEEE Transactions on Robotics and Automation 14(2): 220\u2013240","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"9146_CR43","unstructured":"Poutakidis, D., Padgham, L., & Winikoff, M. (1998). Debugging Multi-agent systems using design artifacts: The case of interaction protocols. In Proceedings of 1998 IEEE international conference on Systems, man and cybernetics, San Diego, USA."},{"key":"9146_CR44","unstructured":"Rao, A. S., & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, & E. Sandewall (Eds.), Proceedings of the second international conference on Principles of knowledge representation and reasoning. San Mateo: Morgan Kaufmann."},{"key":"9146_CR45","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: Logical foundations for describing and implementing dynamical systems","author":"R. Reiter","year":"2001","unstructured":"Reiter R. (2001) Knowledge in action: Logical foundations for describing and implementing dynamical systems. MIT Press, Cambridge"},{"key":"9146_CR46","volume-title":"Artificial intelligence: A modern approach","author":"S. J. Russell","year":"2003","unstructured":"Russell S. J., Norvig P. (2003) Artificial intelligence: A modern approach (2nd ed.). Pearson Education, Singapore","edition":"2"},{"key":"9146_CR47","unstructured":"Scherl, R., & Levesque, H. J. (1993). The frame problem and knowledge producing actions. In Proceedings of the 11th national conference on Artificial intelligence (AAAI\u201993), pp. 689\u2013695."},{"key":"9146_CR48","unstructured":"Sheng, W., & Yang, Q. (2005, July 24\u201328). Peer-to-peer multi-robot coordination algorithms: Petri net based analysis and design. In Proceedings, 2005 IEEE\/ASME international conference on Advanced intelligent mechatronics, pp. 1407\u20131412."},{"key":"9146_CR49","doi-asserted-by":"crossref","unstructured":"Simmons, R., & Apfelbaum, D. (1998, October). A task description language for robot control. In Proceedings of IEEE\/RSJ international conference on Intelligent robots and systems (IROS), Vol. 3, pp. 1931\u20131937. Victoria, BC, Canada.","DOI":"10.1109\/IROS.1998.724883"},{"key":"9146_CR50","first-page":"185","volume-title":"The 4th international workshop on Programming multiagent systems (PROMAS-2006)","author":"J. Sudeikat","year":"2006","unstructured":"Sudeikat J., Braubach L., Pokahr A., Lamersdorf W. (2006) Validation of bdi agents. In: Bordini R., Dastani M., Dix J., El Fallah Seghrouchni A. (eds) The 4th international workshop on Programming multiagent systems (PROMAS-2006). Springer, Berlin, pp 185\u2013200"},{"key":"9146_CR51","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1613\/jair.433","volume":"7","author":"M. Tambe","year":"1997","unstructured":"Tambe M. (1997) Towards flexible teamwork. Journal of Artificial Intelligence Research 7: 83\u2013124","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9146_CR52","volume-title":"Probabilistic Robotics (Intelligent robotics and autonomous agents)","author":"S. Thrun","year":"2005","unstructured":"Thrun S., Burgard W., Fox D. (2005) Probabilistic Robotics (Intelligent robotics and autonomous agents). The MIT Press, Cambridge"},{"key":"9146_CR53","volume-title":"Performance modelling of automated manufacturing systems","author":"N. Vishwanadham","year":"1992","unstructured":"Vishwanadham N., Narahari Y. (1992) Performance modelling of automated manufacturing systems. Prentice Hall, New Delhi"},{"issue":"3","key":"9146_CR54","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/70.240195","volume":"9","author":"F. Y. Wang","year":"1993","unstructured":"Wang F. Y., Kyriakopoulos K. J., Tsolkas A., Saridis G. N. (1993) A petri-net coordination model for an intelligent mobile robot. IEEE Transactions on Robotics and Automation 9(3): 257\u2013271","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"9146_CR55","doi-asserted-by":"crossref","unstructured":"Werger, B. B., & Mataric, M. J. (2000). Broadcast of local eligibility for multi-target observation. In DARS00, pp. 347\u2013356.","DOI":"10.1007\/978-4-431-67919-6_33"},{"key":"9146_CR56","unstructured":"Xu, D., Volz, R., Ioerger, T., & Yen, J. (2002). Modeling and verifying multi-agent behaviors using predicate\/transition nets. In SEKE \u201902: Proceedings of the 14th international conference on Software engineering and knowledge engineering (pp. 193\u2013200), New York, NY: ACM."},{"key":"9146_CR57","unstructured":"Zimmermann, A., & Freiheit, J. (1998). TimeNETMS-an integrated modeling and performance evaluation tool for manufacturing systems. In Proceedings of 1998 IEEE international conference on Systems, man and cybernetics. San Diego, USA."},{"key":"9146_CR58","unstructured":"Ziparo, V. A., & Iocchi, L. (2006). Petri net plans. In Proceedings of fourth international workshop on modeling of objects, components, and agents (MOCA), pp. 267\u2013290, Turku, Finland. Bericht 272, FBI-HH-B-272\/06."},{"key":"9146_CR59","unstructured":"Ziparo, V. A., Iocchi, L., Nardi, D., Palamara, P. F., & Costelha, H. (2008). Petri net plans: a formal model for representation and execution of multi-robot plans. In AAMAS \u201908: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems (pp. 79\u201386). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems."},{"key":"9146_CR60","doi-asserted-by":"crossref","unstructured":"Zlot, R., Stenz, A., Dias, M. B., & Thayer, S. (2002). Multi robot exploration controlled by a market economy. In IEEE international conference on robotics and automation (ICRA\u201902), pp. 3016\u20133023.","DOI":"10.1109\/ROBOT.2002.1013690"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-010-9146-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-010-9146-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-010-9146-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T16:57:55Z","timestamp":1740329875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-010-9146-1"}},"subtitle":["A framework for collaboration and coordination in multi-robot systems"],"short-title":[],"issued":{"date-parts":[[2010,7,31]]},"references-count":60,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,11]]}},"alternative-id":["9146"],"URL":"https:\/\/doi.org\/10.1007\/s10458-010-9146-1","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,31]]}}}