{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:38:30Z","timestamp":1771699110466,"version":"3.50.1"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T00:00:00Z","timestamp":1694476800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T00:00:00Z","timestamp":1694476800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,12]]},"DOI":"10.1109\/etfa54631.2023.10275504","type":"proceedings-article","created":{"date-parts":[[2023,10,12]],"date-time":"2023-10-12T17:38:14Z","timestamp":1697132294000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review"],"prefix":"10.1109","author":[{"given":"Robin","family":"Mro\u00df","sequence":"first","affiliation":[{"name":"RWTH Aachen University,Lehrstuhl Informatik 11,Aachen,Germany,52074"}]},{"given":"Aron","family":"Schnakenbeck","sequence":"additional","affiliation":[{"name":"Institut für Automatisierungstechnik Helmut-Schmidt-Universität,Hamburg,Germany,22043"}]},{"given":"Marcus","family":"V\u00f6lker","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Lehrstuhl Informatik 11,Aachen,Germany,52074"}]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Institut für Automatisierungstechnik Helmut-Schmidt-Universität,Hamburg,Germany,22043"}]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Lehrstuhl Informatik 11,Aachen,Germany,52074"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2000.874637"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(01)00033-8"},{"key":"ref15","first-page":"25","article-title":"Hierarchical approach to GRAFCET using forcing order","volume":"27","author":"lesage","year":"1993","journal-title":"Automat Informat Industriell"},{"key":"ref14","first-page":"581","article-title":"Formal semantics for reactive grafcet","volume":"31","author":"cassez","year":"1997","journal-title":"Journal Europeen des Systemes Automatises"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1108\/01445150810849019"},{"key":"ref10","first-page":"1275","article-title":"The Grafcet’s macro-action concept: an implementation view","volume":"2","author":"azevedo","year":"1999","journal-title":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/87.406973"},{"key":"ref1","article-title":"GRAFCET specification language for sequential function charts","year":"2013","journal-title":"International Electrotechnical Commission IEC"},{"key":"ref17","first-page":"95","article-title":"Integrated Control and Diagnosis of Sequential Processes","volume":"28","author":"\u00e5rz\u00e9n","year":"0"},{"key":"ref16","article-title":"Translation of hierarchical GRAFCET charts into time Petri nets","author":"sogbohossou","year":"2020","journal-title":"working paper or preprint"},{"key":"ref19","first-page":"387","article-title":"On the Recent Advances in Grafcet","volume":"30","author":"zaytoon","year":"0"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA45728.2021.9613251"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.1994.398041"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1993.384953"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2012.05.002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.8.375-401"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/3468.759279"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT55151.2022.9804148"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0947-3580(00)71111-3"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3166\/jesa.47.423-446"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0066-4138(94)90014-0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2019.11.457"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2388491"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.10.001"},{"key":"ref9","first-page":"543","article-title":"Grafcet : from theory to implementation","volume":"31","author":"bierel","year":"1997","journal-title":"Journal européen des systèmes automatisés (JESA)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58468-4_163"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3225736"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638391"},{"key":"ref5","first-page":"400","author":"bauer","year":"2004","journal-title":"A Unifying Semantics for Sequential Function Charts"}],"event":{"name":"2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)","location":"Sinaia, Romania","start":{"date-parts":[[2023,9,12]]},"end":{"date-parts":[[2023,9,15]]}},"container-title":["2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10275065\/10275329\/10275504.pdf?arnumber=10275504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T18:45:20Z","timestamp":1698691520000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10275504\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,12]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/etfa54631.2023.10275504","relation":{},"subject":[],"published":{"date-parts":[[2023,9,12]]}}}