{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:13:44Z","timestamp":1771701224804,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T00:00:00Z","timestamp":1689638400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T00:00:00Z","timestamp":1689638400000},"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,7,18]]},"DOI":"10.1109\/indin51400.2023.10218247","type":"proceedings-article","created":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T17:36:36Z","timestamp":1692725796000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["GRAFCET Reduction Techniques for Model Checking"],"prefix":"10.1109","author":[{"given":"Robin","family":"Mro\u00df","sequence":"first","affiliation":[{"name":"RWTH Aachen University,Lehrstuhl Informatik 11,Aachen,Germany,52074"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aron","family":"Schnakenbeck","sequence":"additional","affiliation":[{"name":"Institut für Automatisierungstechnik Helmut-Schmidt-Universität,Hamburg,Germany,22043"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcus","family":"V\u00f6lker","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Lehrstuhl Informatik 11,Aachen,Germany,52074"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Institut für Automatisierungstechnik Helmut-Schmidt-Universität,Hamburg,Germany,22043"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Lehrstuhl Informatik 11,Aachen,Germany,52074"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.5772\/2578"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876987"},{"key":"ref15","first-page":"581","article-title":"Formal semantics for reactive GRAFCET","volume":"31","author":"cassez","year":"1997","journal-title":"J Europeen des Systemes Automatises"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.10.001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.972982"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref2","article-title":"Software Engineering Economics (Advances in Computing Science and Technology Series)","author":"boehm","year":"1981","journal-title":"Englewood Cliffs NJ USA Prentice-Hall"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2019.8836959"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2388491"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.9734\/cjast\/2019\/v38i630433"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3390\/pr10071266"},{"key":"ref18","article-title":"Translation of Hierarchical GRAFCET Charts Into Time Petri Nets","author":"sogbohossou","year":"2020"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IITSI.2010.35"},{"key":"ref23","article-title":"Checking Properties of Nets Using Transformation","author":"bethelot","year":"2005"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1993.384716"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2008.4802509"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)36458-3"},{"key":"ref22","first-page":"25","article-title":"Hierarchical approach to GRAFCET using forcing order","volume":"27","author":"lesage","year":"1993","journal-title":"Automat Informat Industriell"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347044"},{"key":"ref28","author":"schumacher","year":"2013","journal-title":"Automatische Generierung von IEC 61131-3 Steuerungscode aus einer GRAFCET-Spezifikation"},{"key":"ref27","author":"julius","year":"2022","journal-title":"Bidirektionale Transformation zwischen GRAFCETSpezifikationen und IEC 61131-3 Steuerungscodes"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"ref9","author":"frey","year":"2002","journal-title":"Design and formal analysis of Petri net based logic control algorithms"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3225736"},{"key":"ref3","year":"2013","journal-title":"60848 GRAFCET - specification language for sequential function charts"},{"key":"ref6","article-title":"From symbolic verification to domain specific languages","author":"mieg","year":"2016"},{"key":"ref5","first-page":"231","article-title":"Symbolic model-checking using ITS-tools","volume":"9035","author":"mieg","year":"2015","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)"}],"event":{"name":"2023 IEEE 21st International Conference on Industrial Informatics (INDIN)","location":"Lemgo, Germany","start":{"date-parts":[[2023,7,18]]},"end":{"date-parts":[[2023,7,20]]}},"container-title":["2023 IEEE 21st International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10217218\/10217836\/10218247.pdf?arnumber=10218247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,11]],"date-time":"2023-09-11T17:55:01Z","timestamp":1694454901000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10218247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,18]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/indin51400.2023.10218247","relation":{},"subject":[],"published":{"date-parts":[[2023,7,18]]}}}