{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:26:00Z","timestamp":1730258760222,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/icsmc.2008.4811600","type":"proceedings-article","created":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T09:25:32Z","timestamp":1239182732000},"page":"2093-2098","source":"Crossref","is-referenced-by-count":0,"title":["Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches"],"prefix":"10.1109","author":[{"given":"Cassio L.","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio J.","family":"Morais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leandro M. L.","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karina R. G.","family":"da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge C. A.","family":"de Figueiredo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dalton D. S.","family":"Guerrero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elmar","family":"Melcher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1190095.1190171"},{"year":"2007","key":"17"},{"journal-title":"Lectures on Petri Nets I Basic Models Advances in Petri Nets","year":"1998","key":"18"},{"key":"15","first-page":"315","article-title":"petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers","volume":"e80 d","author":"cortadella","year":"1997","journal-title":"IEICE Transactions on Information and Systems"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9_12"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.26"},{"year":"0","key":"11"},{"journal-title":"Systemc community","year":"2007","key":"12"},{"year":"2007","key":"21"},{"journal-title":"Functional Verification Coverage Measurement and Analysis","year":"2004","author":"piziali","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.173"},{"journal-title":"Comprehensive Functional Verification The Complete Industry Cycle (Systems on Silicon)","year":"2005","author":"wile","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-31275-7"},{"year":"0","key":"10"},{"journal-title":"CPN Tools","year":"2007","key":"7"},{"key":"6","article-title":"coloured petri nets. basic concepts, analysis methods and practical use","volume":"1","author":"jensen","year":"1992","journal-title":"ser Monographs in Theoretical Computer Science"},{"key":"5","first-page":"142","article-title":"silicon validated ip cores designed by the brazil-ip network","author":"rocha","year":"2006","journal-title":"IP\/SOC 2006 (IP-Based SoC Design)"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19952017"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9"}],"event":{"name":"2008 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2008,10,12]]},"location":"Singapore, Singapore","end":{"date-parts":[[2008,10,15]]}},"container-title":["2008 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4803719\/4811240\/04811600.pdf?arnumber=4811600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T14:06:23Z","timestamp":1489759583000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4811600\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2008.4811600","relation":{},"ISSN":["1062-922X"],"issn-type":[{"type":"print","value":"1062-922X"}],"subject":[],"published":{"date-parts":[[2008,10]]}}}