An introduction to the ORIS tool

M. Biagi, L. Carnevali, E. Vicario, M. Paolieri

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 steady-state and transient analysis of Semi-Markov Processes (SMPs), Markov Regenerative Processes (MRPs), Generalized Semi-Markov Processes (GSMPs), and Continuous-Time Markov Chains (CTMCs).

Proceedings of VALUETOOLS, pp. 9-11, ACM, 2017 2017
Stochastic ProcessesTools



copy bib | save bib | save pdf | go to publisher

🏠 Home