{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:11:23Z","timestamp":1790813483008,"version":"4.1.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/iros.2018.8594328","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T02:33:30Z","timestamp":1548297210000},"page":"6952-6958","source":"Crossref","is-referenced-by-count":14,"title":["ASPiC: An Acting System Based on Skill Petri Net Composition"],"prefix":"10.1109","author":[{"given":"Charles","family":"Lesire","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050144"},{"key":"ref11","author":"pommereau","year":"2010","journal-title":"Algebras of Coloured Petri Nets"},{"key":"ref12","article-title":"ABCD: A user-friendly language for formal modelling and analysis","author":"pommereau","year":"2016","journal-title":"Petri Nets"},{"key":"ref13","article-title":"Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs","author":"christensen","year":"1993","journal-title":"Petri Nets"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04457-5"},{"key":"ref15","article-title":"Asyn-chonous Box Calculus","volume":"54","author":"devillers","year":"2003","journal-title":"Fundamenta Informaticae"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2017.47"},{"key":"ref17","article-title":"SNAKES: A Flexible High-Level Petri Nets Library","author":"pommereau","year":"2015","journal-title":"Petri Nets"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543343"},{"key":"ref3","article-title":"Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences","author":"verma","year":"2005","journal-title":"i-SAIRAS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487442"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"ref8","article-title":"Petri Net Plans: A framework for collaboration and coordination in multi-robot systems","author":"ziparo","year":"2008","journal-title":"AAMAS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399365"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.11.002"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.11.003"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"}],"event":{"name":"2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","location":"Madrid","start":{"date-parts":[[2018,10,1]]},"end":{"date-parts":[[2018,10,5]]}},"container-title":["2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8574473\/8593358\/08594328.pdf?arnumber=8594328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T05:49:02Z","timestamp":1598248142000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8594328\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iros.2018.8594328","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}