{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:01:49Z","timestamp":1729666909570,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/mmar.2016.7575114","type":"proceedings-article","created":{"date-parts":[[2016,10,6]],"date-time":"2016-10-06T23:02:24Z","timestamp":1475794944000},"page":"94-99","source":"Crossref","is-referenced-by-count":3,"title":["Transformation of a fuzzy interpreted Petri net diagram into structured text code"],"prefix":"10.1109","author":[{"given":"Michal","family":"Markiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukasz","family":"Surdej","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leslaw","family":"Gniewek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.878725"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1025461"},{"key":"ref12","first-page":"523","article-title":"Ladder diagram and Petri-net-based discrete-event control design methods","volume":"34","author":"shih sen","year":"2004","journal-title":"IEEE Transactions on Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/EEEI.2010.5662187"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref15","first-page":"621","article-title":"Model checking of Control Interpreted Petri Nets","author":"grobelna","year":"2011","journal-title":"Proceedings of the 18th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2011 MIXDES"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2202107"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2298379"},{"year":"0","key":"ref18"},{"key":"ref4","article-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"david","year":"2005","journal-title":"Verlage Berlin Heidelberg"},{"key":"ref3","article-title":"Coloured Petri Nets. Modelling and Validation of Concurrent Systems","author":"jensen","year":"2009","journal-title":"Verlage Berlin Heidelberg"},{"key":"ref6","first-page":"537","article-title":"A survey of Petri net tools","author":"weng","year":"2015","journal-title":"Advanced Computer and Communication Engineering Technology"},{"article-title":"Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tool","year":"2007","author":"hr\u00faz","key":"ref5"},{"journal-title":"International standard IEC 61131-3 2013 „Programmable controllers - Part 3 Programming languages","article-title":"The International Electrotechnical Commission","year":"2013","key":"ref8"},{"journal-title":"International standard IEC 60848 2013","article-title":"GRAFCET specification language for sequential function charts","year":"2013","key":"ref7"},{"key":"ref2","article-title":"Coloured Petri Nets. Basic Concept, Analysis Methods and Practical Use","volume":"1","author":"jensen","year":"1992"},{"first-page":"191","year":"2013","author":"silva","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438224"}],"event":{"name":"2016 21st International Conference on Methods and Models in Automation and Robotics (MMAR)","start":{"date-parts":[[2016,8,29]]},"location":"Miedzyzdroje, Poland","end":{"date-parts":[[2016,9,1]]}},"container-title":["2016 21st International Conference on Methods and Models in Automation and Robotics (MMAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7568600\/7575076\/07575114.pdf?arnumber=7575114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,10,12]],"date-time":"2016-10-12T02:40:41Z","timestamp":1476240041000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7575114\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/mmar.2016.7575114","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}