{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T18:26:50Z","timestamp":1772303210302,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/indin.2007.4384808","type":"proceedings-article","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T10:13:37Z","timestamp":1195640017000},"page":"503-508","source":"Crossref","is-referenced-by-count":15,"title":["Petri net Splitting Operation within Embedded Systems Co-design"],"prefix":"10.1109","author":[{"given":"Aniko","family":"Costa","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417350"},{"key":"ref3","article-title":"Modeling Formalisms for Embedded Systems Design","author":"gomes","year":"2005","journal-title":"Embedded Systems Handbook CRC"},{"key":"ref10","article-title":"Referenznetze","author":"kummer","year":"1992","journal-title":"Logos Verlag"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03687-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612535"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"ref8","first-page":"159","article-title":"Coloured Petri Nets Extended with Channels for Synchronous Communication","volume":"815","author":"christensen","year":"1994","journal-title":"LNCS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_38"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IES.2006.357468"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref1","author":"micheli","year":"2001","journal-title":"Readings in Hardware\/Software Co-Design"}],"event":{"name":"2007 5th IEEE International Conference on Industrial Informatics","location":"Vienna, Austria","start":{"date-parts":[[2007,6,23]]},"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\/04384808.pdf?arnumber=4384808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T15:34:12Z","timestamp":1489678452000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4384808\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/indin.2007.4384808","relation":{},"ISSN":["1935-4576"],"issn-type":[{"value":"1935-4576","type":"print"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}