{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:26:27Z","timestamp":1761488787263,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/etfa.2011.6059134","type":"proceedings-article","created":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T20:30:25Z","timestamp":1319488225000},"page":"1-4","source":"Crossref","is-referenced-by-count":3,"title":["Requirements and obstacles for the transformation of GRAFCET specifications into IEC 61131–3 PLC programs"],"prefix":"10.1109","author":[{"given":"Frank","family":"Schumacher","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Programmable Controllers-Part 3 Programming Languages","year":"0","key":"ref10"},{"key":"ref11","first-page":"25","article-title":"Hierarchical Approach to GRAFCET using forcing order","volume":"27","author":"lesage","year":"1993","journal-title":"Automat Informat Industriell"},{"key":"ref12","first-page":"127","article-title":"GRAFCET: from syntax to semantics","volume":"27","author":"lhoste","year":"1993","journal-title":"Automat Informat Industriell"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2010.5547792"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.10.001"},{"journal-title":"Analyse de Grafcet par Génération logique de I 'Automate Equivalent","year":"1994","author":"roussel","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1080\/09537280110063735a"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.8.375-401"},{"key":"ref3","first-page":"543","article-title":"Grafcet: from theory to implementation","volume":"31","author":"bierel","year":"1997","journal-title":"Automat Informat Industriell"},{"key":"ref6","first-page":"2819","article-title":"Automatic Implementation of Petri net based Control Algorithms on PLC","author":"frey","year":"2000","journal-title":"Proceedings of the 2000 American Control Conference"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/87.406973"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(01)00033-8"},{"journal-title":"Le Grafcet de Nouveaux Concepts","article-title":"GREPA","year":"1985","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1108\/01445150810849019"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1999.813135"},{"journal-title":"Grafcet specification language for sequential function charts","article-title":"GRAFCET","year":"2002","key":"ref9"}],"event":{"name":"Factory Automation (ETFA 2011)","start":{"date-parts":[[2011,9,5]]},"location":"Toulouse, France","end":{"date-parts":[[2011,9,9]]}},"container-title":["ETFA2011"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6045288\/6058966\/06059134.pdf?arnumber=6059134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T18:53:20Z","timestamp":1490122400000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6059134\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/etfa.2011.6059134","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}