{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T06:07:56Z","timestamp":1769839676004,"version":"3.49.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1109\/icit.2017.7915535","type":"proceedings-article","created":{"date-parts":[[2017,5,13]],"date-time":"2017-05-13T02:23:01Z","timestamp":1494642181000},"page":"1211-1216","source":"Crossref","is-referenced-by-count":4,"title":["Translating IOPT Petri net models into PLC ladder diagrams"],"prefix":"10.1109","author":[{"given":"Ricardo","family":"Feio","sequence":"first","affiliation":[]},{"given":"Joao","family":"Rosas","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICMC.2014.7232002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref12","author":"silva","year":"1985","journal-title":"Las Redes de Petri en la Automática y la Informática"},{"key":"ref13","author":"girault","year":"2003","journal-title":"Petri Nets for Systems Engineering A Guide to Modeling Verification and Applications"},{"key":"ref14","author":"david","year":"1992","journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.879150"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382522"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","article-title":"A Signal Extension for Petri Nets and its Use in Controller Design","volume":"41","author":"hanisch","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034992"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2001.932530"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICMC.2014.7231723"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/.2005.1467039"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/41.334578"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04070-2_83"},{"key":"ref7","first-page":"608","article-title":"Translation of extended Petri net model into ladder diagram and simulation with PLC","volume":"55","author":"perme","year":"2009","journal-title":"J Mech Eng"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"ref1","article-title":"IEC 61131-3 Programmable Controllers — Part 3: Programming languages","year":"0","journal-title":"International Standard Edition 3 0 2013-02"},{"key":"ref9","article-title":"A transcription tool from Petri net to CLP programming languages","author":"ferraz de mello","year":"2012","journal-title":"ABCM Symposium Series in Mechatronics — Vol 5 Section IV — Industrial Informatics Discrete and Hybrid Systems"}],"event":{"name":"2017 IEEE International Conference on Industrial Technology (ICIT)","location":"Toronto, ON","start":{"date-parts":[[2017,3,22]]},"end":{"date-parts":[[2017,3,25]]}},"container-title":["2017 IEEE International Conference on Industrial Technology (ICIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7907563\/7912587\/07915535.pdf?arnumber=7915535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T14:20:53Z","timestamp":1602080453000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7915535\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icit.2017.7915535","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}