{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:19:55Z","timestamp":1725628795502},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/icit.2012.6210007","type":"proceedings-article","created":{"date-parts":[[2012,6,13]],"date-time":"2012-06-13T17:37:32Z","timestamp":1339609052000},"page":"620-625","source":"Crossref","is-referenced-by-count":9,"title":["State space generation for Petri nets-based GALS systems"],"prefix":"10.1109","author":[{"given":"F.","family":"Moutinho","sequence":"first","affiliation":[]},{"given":"L.","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Extensible Stylesheet Language Transformation (xslt) Version 2 0","year":"0","key":"19"},{"journal-title":"XQuery 1 0 and XPath 2 0 Formal Semantics","year":"0","key":"22"},{"key":"17","first-page":"143","article-title":"Formal methods for embedded systems co-design: The FORDESIGN project","author":"gomes","year":"2005","journal-title":"Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip ReCoSoC 2005 Montpellier France June 2005"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1997.628884"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119762"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.151"},{"journal-title":"Maude Manual (Version 2 5)","year":"2010","author":"clavel","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19170-1_26"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_18"},{"journal-title":"Processes of Petri Nets with Localities","year":"2006","author":"kleijn","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TASSP.1986.1164809"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_20"},{"journal-title":"XML Path Language","year":"0","key":"21"},{"key":"3","article-title":"Petri nets tools and embedded systems design","author":"gomes","year":"2007","journal-title":"Proceedings of the PNSE'07 - International Workshop on Petri Nets and Software Engineering"},{"journal-title":"Scalable Vector Graphics (SVG)","year":"0","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.164"},{"journal-title":"Globally-asynchronous Locallysynchronous Systems","year":"1984","author":"chapiro","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.038"},{"journal-title":"Integrated Net Analyzer Tool","year":"0","author":"starke","key":"7"},{"key":"6","article-title":"The input-output place-transition petri net class and associated tools","author":"gomes","year":"2007","journal-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN'07)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2008.4758345"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"8","article-title":"An IOPT-net state-space generator tool","author":"pereira","year":"2011","journal-title":"Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN'11)"}],"event":{"name":"2012 IEEE International Conference on Industrial Technology (ICIT 2012)","start":{"date-parts":[[2012,3,19]]},"location":"Athens","end":{"date-parts":[[2012,3,21]]}},"container-title":["2012 IEEE International Conference on Industrial Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6198915\/6209899\/06210007.pdf?arnumber=6210007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T13:53:52Z","timestamp":1490104432000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6210007\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icit.2012.6210007","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}