{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T04:43:42Z","timestamp":1722919422481},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2003.1244548","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T18:38:15Z","timestamp":1082745495000},"page":"1032-1038","source":"Crossref","is-referenced-by-count":4,"title":["From high-level Petri nets to SystemC"],"prefix":"10.1109","volume":"2","author":[{"given":"C.","family":"Rust","sequence":"first","affiliation":[]},{"given":"A.","family":"Rettberg","sequence":"additional","affiliation":[]},{"given":"K.","family":"Gossens","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45740-2_20"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2000.835134"},{"key":"ref12","article-title":"An Introduction to System Level Modeling in SystemC 2.0","author":"swan","year":"2001","journal-title":"published on technical paper section of Open SystemC Initiative (OSCI)"},{"key":"ref13","article-title":"A method for prepartitioning of Petri net models for parallel embedded real-time systems","author":"tacken","year":"1999","journal-title":"In Proceedings of the 6th Annual Australian Conference on Parallel and Real-Time Systems (PART'99)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/43.259939"},{"key":"ref5","article-title":"Transaction Level Modeling of SoC using SystemC 2.0","author":"pasricha","year":"2002","journal-title":"Synopsys User Group Conference (SNUG)"},{"key":"ref8","first-page":"129","article-title":"Electronic System Design Automation using High Level Petri Nets","author":"rokyta","year":"1998","journal-title":"Hardware Design and Petri-Nets"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9_12"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"year":"2002","key":"ref1","article-title":"SystemC Golden Reference Guide"},{"key":"ref9","first-page":"185","article-title":"System Level Design Using the SystemC Modeling Platform","author":"gerlach","year":"2000","journal-title":"In Proc of Workshop on System Design Automation (SDA'00)"}],"event":{"name":"SMC '03 2003 IEEE International Conference on Systems, Man and Cybernetics","acronym":"ICSMC-03","location":"Washington, DC, USA"},"container-title":["SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8811\/27880\/01244548.pdf?arnumber=1244548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T00:05:12Z","timestamp":1489449912000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1244548\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2003.1244548","relation":{},"subject":[]}}