{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:16:29Z","timestamp":1773656189404,"version":"3.50.1"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/iros.2009.5354045","type":"proceedings-article","created":{"date-parts":[[2009,12,18]],"date-time":"2009-12-18T13:17:52Z","timestamp":1261142272000},"page":"4439-4444","source":"Crossref","is-referenced-by-count":15,"title":["Using petri nets to specify and execute missions for autonomous underwater vehicles"],"prefix":"10.1109","author":[{"given":"Narcis","family":"Palomeras","sequence":"first","affiliation":[]},{"given":"Pere","family":"Ridao","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Carreras","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Silvestre","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"8","article-title":"Procedures planner for an a.u.v","author":"barbier","year":"2001"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1080\/00207729808929598"},{"key":"1","first-page":"777","article-title":"Systems, Man and Cybernetics","volume":"21","author":"wang","year":"1991","journal-title":"IEEE Transactions on"},{"key":"7","article-title":"Towards a mission control language for auvs","author":"palomeras","year":"2008","journal-title":"17th IFAC World Congress"},{"key":"6","article-title":"Modelling, analysis and execution of multi-robot tasks using petri nets","author":"costelha","year":"2008","journal-title":"Proc Int Joint Conf Autonomous Agents and Multiagent Systems"},{"key":"5","article-title":"Petri net plans","author":"ziparo","year":"2006","journal-title":"Proceedings of the Fourth International Workshop on Modelling of Objects Components and Agents"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.10.005"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363779"},{"key":"8","first-page":"56","article-title":"Automated synthesis of deadlock prevention supervisors using petri nets","author":"iordache","year":"2002","journal-title":"Technical Report of the ISIS Group at the University of Notre Dame"}],"event":{"name":"2009 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2009)","location":"St. Louis, MO","start":{"date-parts":[[2009,10,10]]},"end":{"date-parts":[[2009,10,15]]}},"container-title":["2009 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5342790\/5353884\/05354045.pdf?arnumber=5354045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T16:06:02Z","timestamp":1489853162000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5354045\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/iros.2009.5354045","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}