ORIS provides a graphical interface to draw Petri nets, analysis engines for different classes of underlying stochastic process, and visualization of reward-based metrics. It also includes a Java API for model definition and analysis, which can be used to carry out parametric performance studies. ORIS implements methods for steadystate and transient analysis of Semi-Markov Processes (SMPs), Markov Regenerative Processes (MRPs), Generalized Semi-Markov Processes (GSMPs), and Continuous-Time Markov Chains (CTMCs).
An introduction to the ORIS tool / Biagi, Marco; Carnevali, Laura; Vicario, Enrico; Paolieri, Marco. - ELETTRONICO. - (2017), pp. 9-11. (Intervento presentato al convegno 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017 tenutosi a ita nel 2017) [10.1145/3150928.3158361].
An introduction to the ORIS tool
Biagi, Marco;Carnevali, Laura;Vicario, Enrico;Paolieri, Marco
2017
Abstract
ORIS provides a graphical interface to draw Petri nets, analysis engines for different classes of underlying stochastic process, and visualization of reward-based metrics. It also includes a Java API for model definition and analysis, which can be used to carry out parametric performance studies. ORIS implements methods for steadystate and transient analysis of Semi-Markov Processes (SMPs), Markov Regenerative Processes (MRPs), Generalized Semi-Markov Processes (GSMPs), and Continuous-Time Markov Chains (CTMCs).I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.