{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:47:30Z","timestamp":1729651650914,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/indin.2011.6034987","type":"proceedings-article","created":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T10:38:46Z","timestamp":1318415926000},"page":"753-758","source":"Crossref","is-referenced-by-count":0,"title":["Introducing model-based development within the reengineering of a Smart House controllers system"],"prefix":"10.1109","author":[{"given":"Mauro","family":"Reis","sequence":"first","affiliation":[]},{"given":"Rogerio","family":"Campos-Rebelo","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems","year":"1992","author":"david","key":"ref4"},{"year":"1985","key":"ref3","article-title":"Wolfgang Reisig."},{"key":"ref10","first-page":"483","article-title":"The Petri Net Markup Language: Concepts, Technology, and Tools","volume":"2679","author":"billington","year":"2003"},{"key":"ref6","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":"ref11","article-title":"From Petri net models to C implementation of digital controllers; ISIE'2010","author":"gomes","year":"2010","journal-title":"IEEE International Symposium on Industrial Electronics"},{"journal-title":"Las Redes de Petri en la Automática y la Informática","year":"1985","author":"manuel","key":"ref5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"R&D Project POSC\/EIA\/61364\/2004 sponsored by FCT – Fundação para a Ciência e a Tecnologia","article-title":"FORDESIGN- Formal Methods for Embedded Systems Co-Design","year":"2007","key":"ref8"},{"key":"ref7","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"},{"article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","year":"0","author":"gomes","key":"ref2"},{"article-title":"A Graphical Editor for the Input-Output Place-Transition Petri Net Class; ETFA'2007","year":"0","author":"nunes","key":"ref9"},{"key":"ref1","first-page":"929","article-title":"Automatic generation of behavioral code - too ambitious or even unwanted?","author":"engels","year":"0","journal-title":"Behaviour Modelling in Model Driven Architecture First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA)"}],"event":{"name":"2011 9th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2011,7,26]]},"location":"Lisbon, Portugal","end":{"date-parts":[[2011,7,29]]}},"container-title":["2011 9th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6029399\/6034824\/06034987.pdf?arnumber=6034987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T18:08:59Z","timestamp":1593108539000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6034987\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/indin.2011.6034987","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}