Affiliation:
1. Univ. of Florence
2. Univ. of Southern California
Abstract
ORIS is a tool for quantitative modeling and evaluation of concurrent systems with non-Markovian durations. It provides a Graphical User Interface (GUI) for model specification as Stochastic Time Petri Nets (STPNs), validation by interactive simulation, and evaluation by several techniques, computing instantaneous and cumulative rewards. It also provides an open-source Java Application Programming Interface (API) to automate the workflow, and it can be used as a toolkit for derivation and evaluation of STPNs in model driven engineering. As distinguishing features, ORIS implements transient and steady-state analysis of STPNs with underlying Markov Regenerative Process (MRP), and transient analysis of STPNs with underlying Generalized Semi- Markov Process (GSMP). It also implements nondeterministic analysis of Time Petri Nets (TPNs), simulation of STPNs, and solution methods for Continuous-Time Markov Chains (CTMCs) and MRPs with at most one non-exponential timer in each state. The well-engineered software architecture of ORIS supports agile implementation of new STPN features, new modeling formalisms, and new analysis methods.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications,Hardware and Architecture,Software
Reference37 articles.
1. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
2. E. G. Amparore , G. Balbo , M. Beccuti , S. Donatelli , and G. Franceschinis . 30 Years of GreatSPN , chapter In: Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi, pages 227 -- 254 . Springer , Cham , 2016 . E. G. Amparore, G. Balbo, M. Beccuti, S. Donatelli, and G. Franceschinis. 30 Years of GreatSPN, chapter In: Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi, pages 227--254. Springer, Cham, 2016.
3. A Tutorial on Uppaal
4. Modeling and verification of time dependent systems using time Petri nets
5. The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mochy: A Tool for the Modeling of Concurrent Hybrid Systems;Application and Theory of Petri Nets and Concurrency;2023