{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:50:54Z","timestamp":1729648254650,"version":"3.28.0"},"reference-count":48,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005189","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T16:34:59Z","timestamp":1421166899000},"page":"1-8","source":"Crossref","is-referenced-by-count":9,"title":["A comparison of modeling approaches for planning in Cyber Physical Production Systems"],"prefix":"10.1109","author":[{"given":"Anas","family":"Anis","sequence":"first","affiliation":[]},{"given":"Wilhelm","family":"Schafer","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008791913551"},{"key":"ref38","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":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16867-3_1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24836-1_11"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008251913710"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90016-A"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_8"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"ref34","first-page":"30","article-title":"Solving planning problems using real-time model checking (translating pdd13 into timed automata)","author":"dierks","year":"2002","journal-title":"AIPS-Workshop Planning via Model-Checking Citeseer"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97005-4"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s100090050009","article-title":"Kronos: A verification tool for real-time systems","volume":"1","author":"yovine","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref11","first-page":"694","article-title":"A linear programming heuristic for optimal planning","author":"bylander","year":"1997","journal-title":"AAAI\/IAAI"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref13","first-page":"434","article-title":"On the Use of UML.P for Modeling a Real Application as a Planning Problem","author":"vaquero","year":"2006","journal-title":"ICAPS"},{"key":"ref14","first-page":"402","article-title":"Planning with Semantic Attachments: An Object-Oriented View","author":"hertle","year":"2012","journal-title":"ECAI"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"157","DOI":"10.20533\/ijds.2040.2570.2010.0020","article-title":"A Flexible Approach to Compose Web Services in Dynamic Environment","volume":"1","author":"boumhamdi","year":"2010","journal-title":"International Journal of Digital Society (IJDS)"},{"article-title":"A Framework for the Computer-Aided Planning and Optimization of Manufacturing Process Chains in the Context of Functionally Graded Components","year":"2013","author":"petersen","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25489-5_17"},{"key":"ref18","article-title":"Planning using situation calculus, prolog and a mobile robot","volume":"286","author":"pozos","year":"2007","journal-title":"Latin-American Workshop on Non-Monotonic Reasoning Proc of the LANMR07 Workshop"},{"article-title":"Web service composition as AI planning-a survey","year":"2005","author":"peer","key":"ref19"},{"journal-title":"Programming in Prolog Using the ISO Standard","year":"2003","author":"mellish","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2053534"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-29325-6_2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/0951192X.2011.566282"},{"journal-title":"Automated Planning Theory & Practice","year":"2004","author":"ghallab","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"article-title":"Entwicklung einer Methodik zur dynamischen kontextbasierten Orchestrierung semantischer Feldgerätefunktionalitäten","year":"2013","author":"loskyll","key":"ref5"},{"key":"ref8","article-title":"PDDL-the planning domain definition language","author":"mcdermott","year":"1998","journal-title":"Yale Center for Computational Vision and Control"},{"key":"ref7","article-title":"P. H. series in artificial intelligence","author":"russell","year":"2010","journal-title":"Artificial Intelligence A Modern Approach"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920597"},{"year":"0","key":"ref1","article-title":"(2010) Factories of the Future PPP Strategic Multi-annual Roadmap"},{"key":"ref46","first-page":"33","article-title":"A multiagent planning language","volume":"3","author":"brenner","year":"2003","journal-title":"Proceedings of the ICAPS'03 Workshop on PDDL"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1232425.1232440"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","article-title":"PDDL2. 1: An Extension to PDDL for Expressing Temporal Planning Domains","volume":"20","author":"fox","year":"2003","journal-title":"J Artif Intell Res (JAIR)"},{"key":"ref48","first-page":"19","article-title":"A Multi-Agent Extension of PDDL3.1","author":"kovacs","year":"2012","journal-title":"The 3rd Workshop on the International Planning Competition"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/978-3-540-30475-3_27","article-title":"Automated composition of semantic web services into executable processes","author":"traverso","year":"2004","journal-title":"The Semantic Web-ISWC 2004"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.004"},{"key":"ref21","first-page":"99","article-title":"A call for knowledge-based planning","volume":"22","author":"wilkins","year":"2001","journal-title":"AI Magazine"},{"article-title":"IPC","year":"0","author":"koenig","key":"ref42"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900001089"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/10720246_1"},{"key":"ref23","first-page":"2","article-title":"Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches","author":"abdedda\u00efm","year":"2007","journal-title":"ICAPS"},{"key":"ref44","first-page":"33","article-title":"Planning in PDDL2. 2 Domains with LPGTD","author":"paolotoninelli","year":"2004","journal-title":"International planning competition"},{"journal-title":"ISO\/IEC","article-title":"ISO\/IEC 25010-Systems and software engineering-Systems and software Quality Requirements and Evaluation (SQuaRE)-System and software quality models","year":"2010","key":"ref26"},{"key":"ref43","article-title":"Inspect, edit and debug pddl documents: Simply and efficiently with pddl studio","author":"plch","year":"0","journal-title":"ICAPS 2012 System Demonstrations and Exhibits 2012"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_16"}],"event":{"name":"2014 IEEE Emerging Technology and Factory Automation (ETFA)","start":{"date-parts":[[2014,9,16]]},"location":"Barcelona, Spain","end":{"date-parts":[[2014,9,19]]}},"container-title":["Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994138\/7005023\/07005189.pdf?arnumber=7005189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T13:19:36Z","timestamp":1566220776000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005189\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005189","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}