{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:39:14Z","timestamp":1778301554056,"version":"3.51.4"},"reference-count":17,"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.10218176","type":"proceedings-article","created":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T17:36:36Z","timestamp":1692725796000},"page":"1-7","source":"Crossref","is-referenced-by-count":4,"title":["A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation"],"prefix":"10.1109","author":[{"given":"Aron","family":"Schnakenbeck","sequence":"first","affiliation":[{"name":"Institut für Automatisierungstechnik Helmut-Schmidt-Universität,Hamburg,Germany,22043"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin","family":"Mro\u00df","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Lehrstuhl Informatik 11,Aachen,Germany,52074"}],"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":"Stefan","family":"Kowalewski","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"}]}],"member":"263","reference":[{"key":"ref1","article-title":"GRAFCET specification language for sequential function charts","year":"2013","journal-title":"International Electrotechnical Commission, IEC 60848"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3225736"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.75041"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2017.03.012"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59412-0_38"},{"key":"ref6","volume-title":"Translation of hierarchical GRAFCET charts into time Petri nets","author":"Sogbohossou","year":"2020"},{"issue":"1","key":"ref7","first-page":"25","article-title":"Hierarchical approach to GRAFCET using forcing order","volume":"27","author":"Lesage","year":"1993","journal-title":"Automatique Productique Informatique Industrielle"},{"key":"ref8","article-title":"A theory of binary signal","volume-title":"CESA96 IMACS Multiconference: computational engineering in systems applications","author":"Lesage"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733648"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_22"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950291"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/800028.808479"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2019.8836959"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2014.09.008"}],"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\/10218176.pdf?arnumber=10218176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T19:22:41Z","timestamp":1709320961000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10218176\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,18]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/indin51400.2023.10218176","relation":{},"subject":[],"published":{"date-parts":[[2023,7,18]]}}}