Analyzing stochastic reward nets by model checking and parallel simulation
Authors:
- Franco CicirelliFCFranco Cicirelli
- Libero NigroLNLibero Nigro
- 1 April 2022
- journal article
- research article
- Published by Elsevier in Simulation Modelling Practice and Theory
- Vol. 116
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Parallel Theatre: An actor framework in Java for high performance computingSimulation Modelling Practice and Theory, 2021
- Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNsIEEE Transactions on Network Science and Engineering, 2020
- Seamless development in Java of distributed real-time systems using actorsInternational Journal of Simulation and Process Modelling, 2020
- Formal reasoning on knowledge and commitments in multi-agent systems using TheatreSIMULATION, 2019
- Qualitative and quantitative model checking of distributed probabilistic timed actorsSimulation Modelling Practice and Theory, 2018
- Uppaal SMC tutorialInternational Journal on Software Tools for Technology Transfer, 2015
- Performability Evaluation of Grid Environments Using Stochastic Reward NetsIEEE Transactions on Dependable and Secure Computing, 2014
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976