{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:50:38Z","timestamp":1730296238977,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/sies.2007.4297351","type":"proceedings-article","created":{"date-parts":[[2007,9,6]],"date-time":"2007-09-06T16:58:04Z","timestamp":1189097884000},"page":"316-319","source":"Crossref","is-referenced-by-count":1,"title":["Module Composition within Petri Nets Model-based Development"],"prefix":"10.1109","author":[{"given":"Aniko","family":"Costa","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"23","article-title":"Petri net Splitting Operation within Embedded Systems Co-design","author":"costa","year":"0","journal-title":"IEEE International Conference on Industrial Informatics 2007"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355253"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612535"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IES.2006.357468"},{"journal-title":"Readings in Hardware\/Software Co-Design","year":"2001","author":"micheli","key":"ref8"},{"journal-title":"Data Structures and Software Dependability - Brandenburg University of Technology Cottbus SNOOPY's home page","year":"2007","key":"ref7"},{"key":"ref2","first-page":"159","article-title":"Coloured Petri Nets Extended with Channels for Synchronous Communication","volume":"815","author":"christensen","year":"1994","journal-title":"Valette R LNCS"},{"key":"ref1","first-page":"26","article-title":"CAB: an environment for developing concurrent applications","author":"bruno","year":"0","journal-title":"Applications and Theory of Petri Nets 1995 16th International Conference (ICATPN 1995) Turin Italy"}],"event":{"name":"2007 International Symposium on Industrial Embedded Systems","start":{"date-parts":[[2007,7,4]]},"location":"Costa da Caparica, Portugal","end":{"date-parts":[[2007,7,6]]}},"container-title":["2007 International Symposium on Industrial Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4297296\/4297297\/04297351.pdf?arnumber=4297351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T20:47:31Z","timestamp":1489610851000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4297351\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/sies.2007.4297351","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}