{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:06:02Z","timestamp":1761487562768,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/etfa.2005.1612535","type":"proceedings-article","created":{"date-parts":[[2006,4,7]],"date-time":"2006-04-07T00:21:22Z","timestamp":1144369282000},"page":"281-284","source":"Crossref","is-referenced-by-count":18,"title":["Towards Usage of Formal methods within Embedded Systems Co-design"],"prefix":"10.1109","volume":"1","author":[{"given":"L.","family":"Gomes","sequence":"first","affiliation":[]},{"given":"J.P.","family":"Barros","sequence":"additional","affiliation":[]},{"given":"A.","family":"Costa","sequence":"additional","affiliation":[]},{"family":"Rui Pais","sequence":"additional","affiliation":[]},{"given":"F.","family":"Moutinho","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560425"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248731"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417350"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1093\/comjnl\/43.3.224","article-title":"Modular Analysis of Petri Nets","volume":"43","author":"christensen","year":"2000","journal-title":"The Computer Journal"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207712"},{"year":"0","key":"3"},{"journal-title":"Petri Nets for Systems Engineering - A Guide to Modeling Verification and Applications","year":"2003","author":"girault","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"year":"0","key":"10"},{"year":"0","key":"7"},{"key":"6","article-title":"The Petri net markup language: Concepts, technology, and tools","volume":"2679","author":"billington","year":"2003","journal-title":"LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210083"},{"year":"0","key":"4"},{"key":"9","first-page":"192","article-title":"Hierarchies in Coloured Petri nets","author":"huber","year":"1989","journal-title":"Proc 24th Int Conf Applications and Theory of Petri Nets"},{"key":"8","article-title":"Operational PNML: Towards a PNML Support for Model Construction and Modification","author":"paulo barros","year":"2004","journal-title":"Workshop on the Definition Implementation and Application of a Standard Interchange Format for Petri Nets Satellite event at the International Conference on Application and Theory of Petri Nets"}],"event":{"name":"2005 IEEE Conference on Emerging Technologies and Factory Automation","location":"Catania, Italy"},"container-title":["2005 IEEE Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10734\/33857\/01612535.pdf?arnumber=1612535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T04:27:35Z","timestamp":1497673655000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1612535\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/etfa.2005.1612535","relation":{},"subject":[]}}