{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:19:03Z","timestamp":1729613943701,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/isie.2010.5637670","type":"proceedings-article","created":{"date-parts":[[2010,11,23]],"date-time":"2010-11-23T20:32:05Z","timestamp":1290544325000},"page":"3057-3062","source":"Crossref","is-referenced-by-count":12,"title":["From Petri net models to C implementation of digital controllers"],"prefix":"10.1109","author":[{"given":"Luis","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Rogerio","family":"Rebelo","sequence":"additional","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Pais","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612615"},{"journal-title":"Managing Embedded Systems Complexity with SysML - This How-to on SysML Describes the Design of a Fire Control System Using Model Driven Development","year":"2006","author":"mckorkle","key":"16"},{"key":"13","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":"14","article-title":"From non-autonomous petri net models to code in embedded systems design","author":"gomes","year":"2004","journal-title":"2nd International Workshop on Discrete-Event System Design (DESDes'04)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/41.334578"},{"key":"12","first-page":"57","article-title":"Editing, visualizing, and implementing signal interpreted petri nets","author":"frey","year":"2000","journal-title":"Proceedings of the AWPN 2000"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2007.4384809","article-title":"The input-output place-transition petri net class and associated tools","author":"gomes","year":"2007","journal-title":"2007 5th IEEE International Conference on Industrial Informatics INDIN"},{"journal-title":"Petri nets tool database","year":"0","key":"1"},{"journal-title":"Las redes de Petri En la Automa?tica y la Informa?tica","year":"1985","author":"silva","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"6","article-title":"Operational PNML: Towards a PNML support for model construction and modification","author":"barros","year":"2004","journal-title":"Workshop on the Definition Implementation and Application of a Standard Interchange Format for Petri Nets Satellite Event at the International Conference on Application and Theory of Petri Nets 2004"},{"key":"5","first-page":"483","author":"billington","year":"2003","journal-title":"The Petri Net Markup Language Concepts Technology and Tools Volume 2679 of LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416858"},{"journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems","year":"1992","author":"david","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2007.4460403"}],"event":{"name":"2010 IEEE International Symposium on Industrial Electronics (ISIE 2010)","start":{"date-parts":[[2010,7,4]]},"location":"Bari, Italy","end":{"date-parts":[[2010,7,7]]}},"container-title":["2010 IEEE International Symposium on Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5609073\/5635477\/05637670.pdf?arnumber=5637670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,14]],"date-time":"2020-06-14T01:36:27Z","timestamp":1592098587000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5637670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/isie.2010.5637670","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}