{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T11:21:09Z","timestamp":1771672869201,"version":"3.50.1"},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010661","name":"EU Horizon 2020 Research and Innovation Programme","doi-asserted-by":"publisher","award":["644869 (DICE)"],"award-info":[{"award-number":["644869 (DICE)"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Spanish Ministry of Economy, Industry, and Competitiveness Project CyCriSec","doi-asserted-by":"publisher","award":["TIN2014-58457-R"],"award-info":[{"award-number":["TIN2014-58457-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Aragon Government Ref. T27\u2014DisCo Research Group"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1109\/tsmc.2018.2837643","type":"journal-article","created":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T18:49:23Z","timestamp":1527878963000},"page":"2834-2844","source":"Crossref","is-referenced-by-count":18,"title":["An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7982-0359","authenticated-orcid":false,"given":"Ricardo J.","family":"Rodriguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2605-6243","authenticated-orcid":false,"given":"Simona","family":"Bernardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7439-7686","authenticated-orcid":false,"given":"Armin","family":"Zimmermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55610-9_178"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/11942634_90"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15784-4_11"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226442"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74173-2"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/32.67593"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005058"},{"key":"ref35","article-title":"Performance aware self-managed software: Evaluation using Petri nets","author":"perez-palacin","year":"2013"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1216993.1217024"},{"key":"ref60","first-page":"403","article-title":"Generating benchmarks by random stepwise refinement of Petri nets","volume":"827","author":"van hee","year":"2010","journal-title":"Proc Workshops 31st Int Conf Appl Theory Petri Nets Models Concurrency (PETRI NETS) 10th Int Conf Appl Concurrency Syst Design (ACSD)"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2768512"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_27"},{"key":"ref28","first-page":"1","article-title":"UML profiles for non-functional properties at work: Analyzing reliability, availability and performance","volume":"553","author":"berardinelli","year":"2009","journal-title":"Proc 2nd Int Workshop Non Funct Syst Properties Domain Specific Model Lang Affiliated MoDELS (NFPinDSML)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2006.63"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022825210932"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_10"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2618409","article-title":"Where’s the science in software engineering?: Ubiquity symposium: The science in computer science","volume":"2014","author":"tichy","year":"2014","journal-title":"Ubiquity"},{"key":"ref20","article-title":"Performance bounds for synchronized queueing networks","author":"campos","year":"1990"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2098415"},{"key":"ref21","first-page":"154","article-title":"Modelado de redes de Petri con intervalos de tiempo mediante la herramienta ITPN-PerfBound","author":"naumovich","year":"2009","journal-title":"Proc V Encuentro De Investigadores Y Docentes De Ingeniera (EnIDI)"},{"key":"ref24","article-title":"Towards an MDE approach for NFPs assessment using multiformalism: An application to performability","author":"bernardi","year":"2015"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953362"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.02.029"},{"key":"ref25","article-title":"The fault-error-failure chain: A challenge for modeling and analyzing performability in UML-based software architectures","author":"berardinelli","year":"2010"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1994.717150"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/203091.203094"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57861-3_9"},{"key":"ref57","author":"ganty","year":"2015","journal-title":"Coverability Checkers Included in Mist"},{"key":"ref56","author":"blom","year":"2015","journal-title":"Very Large Transition Systems (VLTS) Benchmark Suite"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_17"},{"key":"ref54","article-title":"Extension of PIPE2 to support coloured generalised stochastic Petri nets","author":"charalambous","year":"2010"},{"key":"ref53","year":"2015","journal-title":"Petri nets tool database"},{"key":"ref52","article-title":"Better stopping criterion for SCPN simulation","author":"zaliaeva","year":"2017"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507162"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2815618"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56689-9_53"},{"key":"ref12","author":"marsan","year":"1995","journal-title":"Modelling with Generalized Stochastic Petri Nets"},{"key":"ref13","year":"2008","journal-title":"Systems and Software Engineering—High-Level Petri Nets—Part 2 Transfer Format"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30599-8_9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-015-0186-2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_19"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2014.12"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2017201"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348019"},{"key":"ref4","year":"2017","journal-title":"Transaction Processing Corporation"},{"key":"ref3","year":"2017","journal-title":"Standard Performance Evaluation Corporation"},{"key":"ref6","article-title":"Performance benchmarking of application monitoring frameworks","author":"waller","year":"2014"},{"key":"ref5","year":"2017","journal-title":"Defence Advanced Research Projects Agency Home"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref7","year":"2017","journal-title":"Model Checking Contest Petri Nets"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1063\/1.1378322"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2531673"},{"key":"ref46","author":"rubinstein","year":"2008","journal-title":"Simulation and the Monte Carlo Method"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_12"},{"key":"ref48","author":"shedler","year":"1992","journal-title":"Regenerative Stochastic Simulation"},{"key":"ref47","author":"banks","year":"2000","journal-title":"Discrete Event System Simulation"},{"key":"ref42","first-page":"185","article-title":"Logical properties of P\/T systems and their analysis","author":"colom","year":"1998","journal-title":"Performance Models for Discrete Event Systems with Synchronisation Formalisms and Analysis Techniques"},{"key":"ref41","year":"2017","journal-title":"G Repository"},{"key":"ref44","first-page":"46","author":"hillah","year":"2012","journal-title":"Extending PNML Scope A Framework to Combine Petri Nets Types"},{"key":"ref43","first-page":"153","article-title":"Reengineering the editor of the GreatSPN framework","volume":"1372","author":"amparore","year":"2015","journal-title":"Proc Int Workshop Petri Nets Softw Eng"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/9142459\/08370835.pdf?arnumber=8370835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T17:20:19Z","timestamp":1651080019000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8370835\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":62,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2018.2837643","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8]]}}}