{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T16:10:28Z","timestamp":1778256628853,"version":"3.51.4"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/icsmc.2011.6083804","type":"proceedings-article","created":{"date-parts":[[2011,11,23]],"date-time":"2011-11-23T21:53:12Z","timestamp":1322085192000},"page":"1230-1237","source":"Crossref","is-referenced-by-count":2,"title":["Towards accuracy-adaptive simulation for efficient design-space optimization"],"prefix":"10.1109","author":[{"given":"Armin","family":"Zimmermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Bodenstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1287\/opre.9.3.383"},{"key":"ref31","first-page":"67","article-title":"Extending a response time approximation technique to colored stochastic Petri nets","author":"freiheit","year":"1998","journal-title":"Proc 4th Int Workshop on Performability Modeling of Computer and Communication Systems (PMCCS)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICICIC.2008.439"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/INES.2010.5483843"},{"key":"ref11","author":"reeves","year":"1993","journal-title":"Modern Heuristic Techniques for Combinatorial Problems"},{"key":"ref12","author":"le boudec","year":"2001","journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/3-540-55610-9_178","article-title":"Structural techniques and performance bounds of stochastic Petri net models","volume":"609","author":"campos","year":"1992","journal-title":"Advances in Petri Nets 1992"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90027-R"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39893-6_27"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1997.595533"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56863-8_43"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393449"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953359"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-46429-8_14","article-title":"Petri net modelling and performability evaluation with TimeNET 3.0","volume":"1786","author":"zimmermann","year":"2000","journal-title":"11th Int Conf on Modelling Techniques and Tools for Computer Performance Evaluation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012292102123"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.2002.1167079"},{"key":"ref3","article-title":"Efficient design space exploration for embedded systems","author":"k\u00fcnzli","year":"2006","journal-title":"PhD thesis"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2003.810758"},{"key":"ref29","first-page":"477","article-title":"Towards version 4.0 of TimeNET","author":"zimmermann","year":"2006","journal-title":"13th GI\/ITG Conference on Measurement Modeling and Evaluation of Computer and Communication Systems (MMB 2006)"},{"key":"ref5","author":"zimmermann","year":"2007","journal-title":"Stochastic Discrete Event Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/54.970421"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1209462"},{"key":"ref2","author":"german","year":"2000","journal-title":"Performance Analysis of Communication Systems Modeling with Non-Markovian Stochastic Petri Nets"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2010.5641836"},{"key":"ref1","author":"ajmone marsan","year":"1995","journal-title":"Modelling with Generalized Stochastic Petri Nets"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797280"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BFb0024318","article-title":"QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets","volume":"977","author":"bause","year":"1995","journal-title":"Quantitative Evaluation of Computing and Communication Systems"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"788","DOI":"10.1145\/1403375.1403566","article-title":"Accuracy-adaptive simulation of transaction level models","author":"radetzki","year":"2008","journal-title":"Proc Design Automation and Test in Europe (DATE)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1190095.1190136"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06289-0"}],"event":{"name":"2011 IEEE International Conference on Systems, Man and Cybernetics - SMC","location":"Anchorage, AK, USA","start":{"date-parts":[[2011,10,9]]},"end":{"date-parts":[[2011,10,12]]}},"container-title":["2011 IEEE International Conference on Systems, Man, and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6070513\/6083622\/06083804.pdf?arnumber=6083804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:19:38Z","timestamp":1639768778000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6083804\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2011.6083804","relation":{},"subject":[],"published":{"date-parts":[[2011,10]]}}}