{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:42:47Z","timestamp":1757310167249},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/iros.2007.4399365","type":"proceedings-article","created":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T19:23:35Z","timestamp":1199906615000},"page":"1449-1454","source":"Crossref","is-referenced-by-count":34,"title":["Modelling, analysis and execution of robotic tasks using petri nets"],"prefix":"10.1109","author":[{"given":"Hugo","family":"Costelha","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Lima","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(96)00057-7"},{"key":"ref3","article-title":"A Software Architecture for Programming Robotic Systems based on the Discrete Event System Paradigm","author":"dominguez-brito","year":"2000","journal-title":"Report CVAP244 ISRN KTH\/NAP-00\/13-SE"},{"key":"ref10","article-title":"Petri Net Plans","author":"ziparo","year":"2006","journal-title":"Proc of the Fourth International Workshop on Modelling of Objects Components and Agents"},{"key":"ref6","article-title":"Stochastic Discrete Event Model of a Multi-Robot Team Playing an Adversarial Game","author":"damas","year":"2004","journal-title":"Proc of the 5th IFAC\/EURon Symposium on Intelligent Autonomous Vehicles"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1014376"},{"key":"ref5","article-title":"On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification","author":"espiau","year":"1995","journal-title":"Report 2719"},{"key":"ref12","article-title":"MeRMaID — Multiple-Robot Middleware for Intelligent Decision-making","author":"ramos","year":"2007","journal-title":"Proc IFAC Symp on Intelligent Autonomous Vehicles"},{"key":"ref8","article-title":"Motion Planning in Multi-Robot Systems using Timed Automata","author":"andersen","year":"2004","journal-title":"Proc of the 5th IFAC\/EURon Symposium on Intelligent Autonomous Vehicles"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"journal-title":"A Software Tool for the Performability Evaluation with Stochastic Petri Nets","year":"2001","author":"zimmermann","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/02783640022066743"},{"journal-title":"Performance Modeling of Automated Manufacturing Systems","year":"1992","author":"viswanadham","key":"ref1"}],"event":{"name":"2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems","start":{"date-parts":[[2007,10,29]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2007,11,2]]}},"container-title":["2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4398943\/4398944\/04399365.pdf?arnumber=4399365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T19:46:57Z","timestamp":1489693617000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4399365\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iros.2007.4399365","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}