{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:19:48Z","timestamp":1725628788796},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/isie.2011.5984387","type":"proceedings-article","created":{"date-parts":[[2011,8,16]],"date-time":"2011-08-16T15:25:32Z","timestamp":1313508332000},"page":"1529-1534","source":"Crossref","is-referenced-by-count":7,"title":["Intra- and inter-circuit network for Petri nets based components"],"prefix":"10.1109","author":[{"given":"Ricardo","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","first-page":"1023","article-title":"The petri net markup language: Concepts, technology, and tools","author":"billington","year":"2003","journal-title":"Applications and Theory of Petri Nets 2003 24th International Conference ICATPN 2003 Eindhoven the Netherlands June 23-27 2003 Proceedings"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1007\/0-387-28327-7_13"},{"key":"13","doi-asserted-by":"crossref","first-page":"509","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":"Industrial Informatics 2007 5th IEEE International Conference on"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/INDIN.2009.5195804"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1007\/978-1-4419-0504-8"},{"year":"2009","journal-title":"FORDESIGN-Formal Methods for Embedded Systems Co-Design","key":"12"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1016\/j.vlsi.2004.07.015"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/MCAS.2004.1330747"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/ISSOC.2005.1595630"},{"year":"2009","author":"gomes","journal-title":"Behavioral Modeling for Embedded Systems and Technologies Applications for Design and Implementation IGI Global","key":"10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/ISSOC.2004.1411159"},{"key":"6","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/DATE.2000.840047","article-title":"A generic architecture for on-chip packetswitched interconnections","author":"guerrier","year":"2000","journal-title":"Proc Design Automation Test Eur Conf Exhibition 2000"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/IPDPS.2003.1213180"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ICVD.2004.1261005"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/MDT.2005.99"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/ISSOC.2005.1595667"}],"event":{"name":"2011 IEEE 20th International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2011,6,27]]},"location":"Gdansk, Poland","end":{"date-parts":[[2011,6,30]]}},"container-title":["2011 IEEE International Symposium on Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5976319\/5984066\/05984387.pdf?arnumber=5984387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T00:48:16Z","timestamp":1497919696000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5984387\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/isie.2011.5984387","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}