{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:24:05Z","timestamp":1729625045915,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2003.1244547","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"1025-1031","source":"Crossref","is-referenced-by-count":2,"title":["A Petri net based method for storage units estimation"],"prefix":"10.1109","volume":"2","author":[{"given":"A.P.","family":"Machado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.R.M.","family":"Maciel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.G.S.","family":"Filho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A Petri Net Model for Hardware\/Software Codesign","volume":"4","author":"maciel","year":"1999","journal-title":"Design Automation for Embedded Systems Journal"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2649-7_9"},{"key":"ref12","first-page":"2998","article-title":"Using Petri nets for data-dependency analysis","author":"monteiro","year":"2000","journal-title":"Proc Int Conf Systems Man Cybernetics"},{"article-title":"Partitioning in Hardware\/Software using Petri Nets","year":"1999","author":"monteiro","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref15","article-title":"Comprehensive Lower Bound Estimation from Behavioral Descriptions","author":"ohm","year":"1994","journal-title":"IEEE\/ACM International Conference on Computer-Aided Design"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2649-7_8"},{"key":"ref17","first-page":"1","article-title":"Scheduling and Binding Algoritms for High-Level Synthesis","author":"paulin","year":"1989","journal-title":"Proc 26th DAC"},{"key":"ref18","article-title":"Analysis of Asynchronous Concurrent Systems by Timed Petri Nets","author":"ramchandani","year":"1974","journal-title":"Technical Report N120"},{"article-title":"Petri Nets: An Introduction","year":"1982","author":"reisig","key":"ref19"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1145\/277044.277252","article-title":"System-level exploration with SpecSyn","author":"gajski","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"article-title":"Specification and Design of embedded Hardware-Software Systems","year":"1994","author":"gajski","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/EDAC.1992.205881","article-title":"System-Level Synthesis Using Reprogrammable Components","author":"gupta","year":"1992","journal-title":"European Design Automation Conference"},{"key":"ref5","first-page":"2","article-title":"Simultaneous Scheduling and Allocation for Cost Constrained Optimal Architectural for Cost Constrained Optimal Architectural Synthesis","author":"gebotys","year":"1991","journal-title":"Proc 28th DAC"},{"article-title":"Petri Net Based Estimators for Hardware\/Software, Codesign","year":"1999","author":"maciel","key":"ref8"},{"key":"ref7","article-title":"Programming In occam","volume":"2","author":"jones","year":"1989"},{"key":"ref2","article-title":"Benchmarks for the 1992 High Level Synthesis Workshop","author":"dutt","year":"1992","journal-title":"Technical Report"},{"key":"ref9","article-title":"A Petri Net Based Approach for estimating Area in Hardware\/Software Codesign","author":"maciel","year":"1999","journal-title":"High-Performance Computing"},{"article-title":"Modern Compiler Implementation in Java","year":"1999","author":"appel","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227850"},{"article-title":"INA - Integrated Net Analyzer - Version 2.2","year":"1999","author":"starke","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164926"},{"article-title":"A Petri Net Based Unified Representation for Hardware Software Co-Design","year":"1995","author":"stoy","key":"ref24"},{"key":"ref23","article-title":"Remarks on Timed Petri Nets","author":"starke","year":"1988","journal-title":"Proc 9th European Workshop on Application and Theory of Petri Nets"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(91)90007-T"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2649-7_10"}],"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\/01244547.pdf?arnumber=1244547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:22:42Z","timestamp":1497579762000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1244547\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2003.1244547","relation":{},"subject":[]}}