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