{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:00:54Z","timestamp":1725458454837},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/dsd.2003.1231967","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T14:34:28Z","timestamp":1079966068000},"page":"356-361","source":"Crossref","is-referenced-by-count":0,"title":["Modelling and simulation of a digital IC system using SimulPet: application to a speech coding communication IC"],"prefix":"10.1109","author":[{"given":"R.","family":"Fernandez-Ramos","sequence":"first","affiliation":[]},{"given":"J.","family":"Romero-Sanchez","sequence":"additional","affiliation":[]},{"given":"F.","family":"Rios-Gomez","sequence":"additional","affiliation":[]},{"given":"J.","family":"Matrin-Canales","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.214828"},{"journal-title":"Performance Modelling With Deterministic and Stochastic Petri Nets","year":"1998","author":"lindemann","key":"ref3"},{"key":"ref6","first-page":"255","article-title":"Computer-Aided Modelling, Analysis, and Design of Discrete-Event Systems using Petri Nets","author":"zhou","year":"1992","journal-title":"Proc 1992 IEEE Symp Computer-Aided Control System Design (CACSD'92)"},{"key":"ref5","first-page":"625","article-title":"A Design Methodology for High-Complexity Digital ICs Based on Petri Nets","author":"romero","year":"1999","journal-title":"Proc of XIV Design of Circuits and Integrated Systems Conference (DCIS '99)"},{"journal-title":"SimulPet 2003 03 Reference Manual","year":"2003","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1109\/ASYNC.1996.494453","article-title":"Combining Process Algebra and Petri Nets for the Specification and Synthesis of Asynchronous Circuits","author":"pe\u00f1a","year":"1996","journal-title":"International Symposium on Advanced Research in Asynchronous Circuits and Systems"},{"key":"ref1","first-page":"128","article-title":"Is Technology-Independent design really practical?","author":"hillen","year":"0","journal-title":"Proceedings of IEEE\/ACM Design Automation Conference DAC"}],"event":{"name":"Proceedings. Euromicro Symposium on Digital System Design","start":{"date-parts":[[2003,9,1]]},"location":"Belek-Antalya, Turkey","end":{"date-parts":[[2003,9,6]]}},"container-title":["Euromicro Symposium on Digital System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8715\/27588\/01231967.pdf?arnumber=1231967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:26:33Z","timestamp":1497587193000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1231967\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/dsd.2003.1231967","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}