{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T14:50:09Z","timestamp":1783522209710,"version":"3.55.0"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft through the project Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlern","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3225736","type":"journal-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:23:06Z","timestamp":1669854186000},"page":"125652-125665","source":"Crossref","is-referenced-by-count":11,"title":["Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1007-5597","authenticated-orcid":false,"given":"Robin","family":"Mross","sequence":"first","affiliation":[{"name":"Lehrstuhl Informatik 11, RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3507-2851","authenticated-orcid":false,"given":"Aron","family":"Schnakenbeck","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Automatisierungstechnik, Helmut-Schmidt-Universit\u00e4t, Hamburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7348-0146","authenticated-orcid":false,"given":"Marcus","family":"V\u00f6lker","sequence":"additional","affiliation":[{"name":"Lehrstuhl Informatik 11, RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1922-654X","authenticated-orcid":false,"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Automatisierungstechnik, Helmut-Schmidt-Universit\u00e4t, Hamburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9397-2009","authenticated-orcid":false,"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[{"name":"Lehrstuhl Informatik 11, RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2019.8836959"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.jss.2015.08.026","article-title":"Evolution of software in automated production\n                        systems: Challenges and research directions","volume":"110","author":"Vogel-Heuser","year":"2015","journal-title":"J. Syst. Softw."},{"key":"ref3","volume-title":"GRAFCET Specification Language for Sequential Function\n                            Charts","year":"2013"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59412-0_38"},{"key":"ref5","article-title":"From symbolic verification to domain specific\n                        languages: Formal languages and automata theory","author":"Mieg","year":"2016"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2019.11.457"},{"key":"ref7","volume-title":"Programmable Controllers\u2014Part 3: Programming\n                            Languages","year":"2013"},{"key":"ref8","volume-title":"Design and\n                        Formal Analysis of Petri Net Based Logic Control Algorithms","author":"Frey","year":"2002"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.972982"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876987"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.5772\/2578"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE51582.2022.9831529"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024579"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3390\/app11157161"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1994.401988"},{"issue":"9","key":"ref17","doi-asserted-by":"crossref","first-page":"295","DOI":"10.3182\/20130619-3-RU-3018.00188","article-title":"Transforming hierarchical concepts of GRAFCET into a\n                        suitable Petri net formalism","volume":"46","author":"Schumacher","year":"2013","journal-title":"IFAC Proc.\n                        Volumes"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_38"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042457"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2014.09.008"},{"key":"ref21","volume-title":"Systems and Software Engineering\u2014High-Level Petri\n                            Nets\u2014Part 2: Transfer Format","year":"2011"},{"key":"ref22","first-page":"113","article-title":"A graphical interface based on grafcet for\n                        programming industrial robots off-line","volume-title":"Proc. 2nd Int. Conf. Informat. Control, Automatics Robot.","author":"Arnold"},{"key":"ref23","article-title":"Langage et s\u00e9mantique des expressions pour la\n                        synth\u00e8se de mod\u00e8le Grafcet dans un environnement\n                        IDM","volume-title":"Proc. Conf\u00e9rence de Recherche\n                        en Informatique (CRI Yaound\u00e9)","author":"Nzebop"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.10.001"},{"key":"ref25","first-page":"581","article-title":"Formal semantics for reactive\n                    GRAFCET","volume":"31","author":"Cassez","year":"1997","journal-title":"J. Europeen des Systemes\n                        Automatises"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.9734\/cjast\/2019\/v38i630433"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2388491"},{"key":"ref28","volume-title":"Translation of Hierarchical GRAFCET Charts Into Time\n                        Petri Nets","author":"Sogbohossou","year":"2020"},{"issue":"7","key":"ref29","doi-asserted-by":"crossref","first-page":"1266","DOI":"10.3390\/pr10071266","article-title":"A fault-tolerant and a reconfigurable control\n                        framework: Application to a real manufacturing\n                    system","volume":"10","author":"Tahiri","year":"2022","journal-title":"Processes"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)36458-3"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347044"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.conengprac.2017.03.012","article-title":"Transformation of GRAFCET to PLC code including\n                        hierarchical structures","volume":"64","author":"Julius","year":"2017","journal-title":"Control Eng.\n                        Pract."},{"key":"ref33","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/978-3-662-46681-0_20","article-title":"Symbolic model-checking using\n                        ITS-tools","volume-title":"Tools and Algorithms for the\n                        Construction and Analysis of Systems","volume":"9035","author":"Mieg","year":"2015"},{"key":"ref34","volume-title":"Meta\n                        Object Facility (MOF) Core Specification","year":"2016"},{"key":"ref35","volume-title":"Eclipse Modeling Project |The Eclipse Foundation","year":"2022"},{"key":"ref36","volume-title":"XML\n                        Formats for IEC 61131-3: Version 2.01\u2014Official Release","year":"2009"},{"key":"ref37","volume-title":"CODESYS","year":"2022"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09966565.pdf?arnumber=9966565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T22:05:46Z","timestamp":1733954746000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9966565\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3225736","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}