{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:01:15Z","timestamp":1729659675623,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/indin.2007.4384731","type":"proceedings-article","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T10:13:37Z","timestamp":1195640017000},"page":"57-62","source":"Crossref","is-referenced-by-count":6,"title":["Petri Net based Building Automation and Monitoring System"],"prefix":"10.1109","author":[{"given":"Luis","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Pais","sequence":"additional","affiliation":[]},{"given":"Tiago","family":"Rodrigues","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560425"},{"journal-title":"Real-time UML - developing efficient objects for embedded systems","year":"1998","author":"douglass","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207712"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2005.1529145"},{"journal-title":"Petri Nets for Systems Engineering - A Guide to Modeling Verification and Applications","year":"0","author":"girault","key":"ref3"},{"journal-title":"Las Redes de Petri en la Automática y la Informática","year":"1985","author":"silva","key":"ref6"},{"journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems","year":"1992","author":"david","key":"ref5"},{"key":"ref8","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":"ref7","first-page":"57","article-title":"Editing, Visualizing, and Implementing Signal Interpreted Petri Nets","author":"frey","year":"2000","journal-title":"Proceedings of the AWPN 2000 Koblenz"},{"journal-title":"The Rational Unified Process An Introduction","year":"2000","author":"kruchten","key":"ref2"},{"journal-title":"The Unified Modeling Language User Guide Object Technology Series","year":"1999","author":"booch","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612615"}],"event":{"name":"2007 5th IEEE International Conference on Industrial Informatics","start":{"date-parts":[[2007,6,23]]},"location":"Vienna, Austria","end":{"date-parts":[[2007,6,27]]}},"container-title":["2007 5th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4384708\/4384709\/04384731.pdf?arnumber=4384731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T09:31:40Z","timestamp":1588066300000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4384731\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/indin.2007.4384731","relation":{},"ISSN":["1935-4576"],"issn-type":[{"type":"print","value":"1935-4576"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}