Unzip and launch run.sh (Linux/OSX) or run.bat (Windows). Requires Java 9.
Version 2.0.17: This is a prerelease for academic use only (ask for support).
The Sirio library is now available! The library implements the symbolic calculus and analysis methods of ORIS. STPN models can be exported from the GUI editor as "Java code" and analyzed in Sirio to conduct parametric studies.
A previous release of ORIS, with support for the analysis of non-deterministic preemptive models, can be found at stlab.dinfo.unifi.it/oris1.0.