{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:23:07Z","timestamp":1761488587397,"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.5637342","type":"proceedings-article","created":{"date-parts":[[2010,11,23]],"date-time":"2010-11-23T20:32:05Z","timestamp":1290544325000},"page":"3521-3526","source":"Crossref","is-referenced-by-count":4,"title":["Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation"],"prefix":"10.1109","author":[{"given":"Paulo","family":"Leitao","sequence":"first","affiliation":[]},{"given":"Joel","family":"Alves","sequence":"additional","affiliation":[]},{"given":"J. Marco","family":"Mendes","sequence":"additional","affiliation":[]},{"given":"Armando W.","family":"Colombo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638558"},{"key":"16","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-642-68353-4_47","article-title":"A simple and fast algorithm to obtain all invariants of a generalized petri net","volume":"52","author":"martinez","year":"1982","journal-title":"Informatik Fachberichte"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/70.282543"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6_9"},{"journal-title":"Introductory Functional Analysis With Applications","year":"1989","author":"kreyszig","key":"11"},{"key":"12","first-page":"213","article-title":"Linear algebra in net theory","author":"memmi","year":"1980","journal-title":"LNCS 84"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618202"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.102"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844419"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1115\/1.2803286"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438228"},{"journal-title":"Las redes de Petri En la Automa?tica y la Informa?tica","year":"1985","author":"silva","key":"6"},{"key":"5","first-page":"541","volume":"77","author":"murata","year":"1989","journal-title":"Petri Nets Properties Analysis and Applications"},{"key":"4","first-page":"374","article-title":"Petri nets and flexible manufacturing","author":"silva","year":"1990","journal-title":"Advances in Petri Nets LNCS 424"},{"key":"9","first-page":"174","article-title":"Process failures diagnosis in F.M.S. Real-time control: An approach combining rule-based systems and petri nets","author":"combacau","year":"1991","journal-title":"Proc of the IEEE Intl Conf on Robotics and Automation"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(99)00107-0"}],"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\/05637342.pdf?arnumber=5637342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:28:36Z","timestamp":1497889716000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5637342\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/isie.2010.5637342","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}