000079360 001__ 79360
000079360 005__ 20200922122724.0
000079360 0247_ $$2doi$$a10.1109/TSMC.2018.2837643
000079360 0248_ $$2sideral$$a109823
000079360 037__ $$aART-2018-109823
000079360 041__ $$aeng
000079360 100__ $$0(orcid)0000-0001-7982-0359$$aRodriguez, R.J.
000079360 245__ $$aAn Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques
000079360 260__ $$c2018
000079360 5060_ $$aAccess copy available to the general public$$fUnrestricted
000079360 5203_ $$aAvailability of a common, shared benchmark to provide repeatable, quantifiable, and comparable results is an added value for any scientific community. International consortia provide benchmarks in a wide range of domains, being normally used by industry, vendors, and researchers for evaluating their software products. In this regard, a benchmark of untimed Petri net models was developed to be used in a yearly software competition driven by the Petri net community. However, to the best of our knowledge there is not a similar benchmark to evaluate solution techniques for Petri nets with timing extensions. In this paper, we propose an evaluation framework for the comparative analysis of generalized stochastic Petri nets (GSPNs) simulation techniques. Although we focus on simulation techniques, our framework provides a baseline for a comparative analysis of different GSPN solvers (e.g., simulators, numerical solvers, or other techniques). The evaluation framework encompasses a set of 50 GSPN models including test cases and case studies from the literature, and a set of evaluation guidelines for the comparative analysis. In order to show the applicability of the proposed framework, we carry out a comparative analysis of steady-state simulators implemented in three academic software tools, namely, GreatSPN, PeabraiN, and TimeNET. The results allow us to validate the trustfulness of these academic software tools, as well as to point out potential problems and algorithmic optimization opportunities.
000079360 536__ $$9info:eu-repo/grantAgreement/ES/DGA/T27$$9info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE$$9This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 644869-DICE$$9info:eu-repo/grantAgreement/ES/MINECO/TIN2014-58457-R
000079360 540__ $$9info:eu-repo/semantics/openAccess$$aAll rights reserved$$uhttp://www.europeana.eu/rights/rr-f/
000079360 592__ $$a2.147$$b2018
000079360 593__ $$aComputer Science Applications$$c2018$$dQ1
000079360 593__ $$aControl and Systems Engineering$$c2018$$dQ1
000079360 593__ $$aSoftware$$c2018$$dQ1
000079360 593__ $$aHuman-Computer Interaction$$c2018$$dQ1
000079360 593__ $$aInformation Systems$$c2018$$dQ1
000079360 593__ $$aElectrical and Electronic Engineering$$c2018$$dQ1
000079360 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/acceptedVersion
000079360 700__ $$0(orcid)0000-0002-2605-6243$$aBernardi, S.$$uUniversidad de Zaragoza
000079360 700__ $$aZimmermann, A.
000079360 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf.
000079360 773__ $$g50, 873612 (2018), 2834 - 2844$$pIEEE trans. syst. man cybern., Syst.$$tIEEE transactions on systems, man, and cybernetics. Systems$$x2168-2216
000079360 8564_ $$s1572566$$uhttps://zaguan.unizar.es/record/79360/files/texto_completo.pdf$$yPostprint
000079360 8564_ $$s140079$$uhttps://zaguan.unizar.es/record/79360/files/texto_completo.jpg?subformat=icon$$xicon$$yPostprint
000079360 909CO $$ooai:zaguan.unizar.es:79360$$particulos$$pdriver
000079360 951__ $$a2020-09-22-12:19:54
000079360 980__ $$aARTICLE