{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:54:47Z","timestamp":1729619687570,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301575","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T18:21:19Z","timestamp":1445883679000},"page":"1-4","source":"Crossref","is-referenced-by-count":2,"title":["CP3L: A Cyber-Physical Production Planning Language"],"prefix":"10.1109","author":[{"given":"Anas","family":"Anis","sequence":"first","affiliation":[]},{"given":"Wilhelm","family":"Schafer","sequence":"additional","affiliation":[]},{"given":"Andrey","family":"Pines","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1613\/jair.1994","article-title":"Imperfect match: Pddl 2.1 and real applications","volume":"20","author":"boddy","year":"2003","journal-title":"J Artif Intell Res (JAIR)"},{"key":"ref11","article-title":"Inspect, edit and debug pddl documents: Simply and efficiently with pddl studio","author":"plch","year":"2012","journal-title":"ICAPS 2012 System Demonstrations and Exhibits"},{"key":"ref12","first-page":"2004","article-title":"Owl web ontology language overview","volume":"10","author":"mcguinness","year":"2004","journal-title":"W3C Recommendation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IS.2008.4670433"},{"key":"ref14","article-title":"Temporal plans for software architecture reconfiguration","author":"ziegert","year":"2014","journal-title":"Computer Science - Research and Development (CSRD)"},{"journal-title":"Verein Deutscher Ingenieure Association of Engineers Tech Rep","article-title":"VDI\/VDE 3682-Formalisierte Prozessbeschreibungen","year":"2014","key":"ref15"},{"key":"ref16","first-page":"271","article-title":"Temporal reconfiguration plans for self-adaptive systems","author":"ziegert","year":"2013","journal-title":"Software Engineering"},{"year":"2015","key":"ref17"},{"year":"2015","key":"ref4"},{"key":"ref3","first-page":"13","article-title":"A survey of research in distributed, continual planning","volume":"20","author":"desjardin","year":"1999","journal-title":"Al Magazine"},{"key":"ref6","first-page":"402","article-title":"Planning with semantic attachments: An object-oriented view","author":"hertle","year":"2012","journal-title":"ECAI"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","article-title":"Pdd12. 1: An extension to pddl for expressing temporal planning domains","volume":"20","author":"fox","year":"2003","journal-title":"J Artif Intell Res (JAIR)"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005189"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1613\/jair.740","article-title":"Partial-order planning with concurrent interacting actions","volume":"14","author":"boutilier","year":"2001","journal-title":"Journal of Artificial Intelligence Research"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2015,9,8]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301575.pdf?arnumber=7301575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T20:21:03Z","timestamp":1567282863000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301575\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301575","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}