{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:13:17Z","timestamp":1729645997844,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/iecon.2012.6389078","type":"proceedings-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T23:15:46Z","timestamp":1357168546000},"page":"6132-6137","source":"Crossref","is-referenced-by-count":0,"title":["Model composition by reusing Petri net based modules"],"prefix":"10.1109","author":[{"given":"Aniko","family":"Costa","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034990"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417350"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60029-9_38","article-title":"CAB: An environment for developing concurrent applications","author":"bruno","year":"1995","journal-title":"Applications and Theory of Petri Nets 1995 16th International Conference (ICATPN 1995)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2011.561371"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248731"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275692"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"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":"5th IEEE International Conference on Industrial Informatics (INDIN 2007)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10559-006-0044-0"},{"key":"7","article-title":"Petri nets tools framework supporting FPGA-based controller implementations","author":"gomes","year":"2007","journal-title":"IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society IECON"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034908"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034992"},{"journal-title":"WD 19509-2 Software and Systems Engineering High-level Petri Nets - Part 2 Transfer Format","year":"0","key":"4"},{"key":"9","first-page":"224","article-title":"Modular analysis of petri nets","volume":"43","author":"christensen","year":"2000","journal-title":"The Computer"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"}],"event":{"name":"IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics","start":{"date-parts":[[2012,10,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,10,28]]}},"container-title":["IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6373889\/6388505\/06389078.pdf?arnumber=6389078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T01:06:51Z","timestamp":1498007211000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6389078\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iecon.2012.6389078","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}