{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T14:50:10Z","timestamp":1783522210766,"version":"3.55.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042457","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T20:57:26Z","timestamp":1318539446000},"page":"488-494","source":"Crossref","is-referenced-by-count":23,"title":["A formal semantics for Grafcet specifications"],"prefix":"10.1109","author":[{"given":"Julien","family":"Provost","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Marc","family":"Roussel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Marc","family":"Faure","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","first-page":"758","article-title":"Validation and verification of Grafcet using state machine","author":"roussel","year":"0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2010.5547792"},{"key":"ref12","year":"2002","journal-title":"Grafcet specification language for sequential function charts"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/87.406973"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(01)00033-8"},{"key":"ref15","first-page":"61131","year":"2003","journal-title":"Programmable controllers - Part 3 Programming languages"},{"key":"ref16","article-title":"Translating Grafcet specifications into Mealy machines for conformance test purposes","author":"provost","year":"2010","journal-title":"Control Engineering Practice"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678428"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2050199"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.694666"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.026"},{"key":"ref8","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"},{"key":"ref7","first-page":"127","article-title":"Grafcet: from syntax to semantics","volume":"27","author":"lhoste","year":"1993","journal-title":"Automat Informat Industriell"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/978-3-540-27863-4_28","article-title":"Verification of plc programs given as sequential function charts","volume":"3147","author":"bauer","year":"2004","journal-title":"Integration of Software Specification Techniques for Applications in Engineering ser Lecture Notes in Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"ref9","first-page":"581","article-title":"Formal semantics for reactive GRAFCET","volume":"31","author":"cassez","year":"1997","journal-title":"European Journal of automation"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","location":"Trieste, Italy","start":{"date-parts":[[2011,8,24]]},"end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042457.pdf?arnumber=6042457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:55:48Z","timestamp":1497945348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042457\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042457","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}