Release 2.3.0 (ask for support).
Unzip and launch run.sh (Linux/macOS) or run.bat (Windows).
Requires Java 9: to install Java SE 9,
get the Windows/macOS JRE installer or
apt-get install openjdk-9-jre on
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.