Oris2
Version 2.3.7
- Use Sirio 2.0.3 (use DECIMAL128 for reachingProbability)
Version 2.3.6
- Use Sirio 2.0.2 (bugfix local kernel convergence with subsampling)
Version 2.3.5
- Use Sirio 2.0.1 (bugfix local kernel convergence for markings with nonzero reward)
Version 2.3.4
- Add support for Java 17
- Use Sirio 2.0.0
Version 2.3.3
- Add distinct subsampling options for L and G
Version 2.3.2
- Add option to sample MRP kernels only every N time steps
Version 2.3.1
- Add option to solve transient only for marking with nonzero reward
Version 2.3.0
- Improve Boolean casts in expression parser
Version 2.2.0
- Simulation now available also in the GUI
- New UI for analysis execution
- GSPN steady state analysis and transient analysis are now separated engines
- Petri Nets and syntax validation
- Expolynomial distributions validation
Version 2.1.2
- Changed URL of the web updater service
Version 2.1.1
- Fixed reward evaluation. Prior to this, usage of functions in reward was causing Exceptions to be thrown
Version 2.1.0
- Now using the new open source version of Sirio with many performance improvements and bug fixes
- Added token game: it allows to validate Petri Net models with through a new visual interactive view
- Added piecewise transitions: expolynomial transitions can now be defined as piecewise functions
Version 2.0.17
- Fix to GSPN steady state analysis. Previous version crashed when in the evaluation of the steady state of a GSPN
Version 2.0.16
- Added MRP transient analysis under enabling restriction
- Implemented a better version of Uniformization for CTMC transient analysis based on Fox & Gynn method
Version 2.0.15
- Fixed a NullPointerException occurring with Java > 8u51
- Generation of Sirio java code from Oris models
Version 2.0.14
- Hide approximant transition type
- Added MRP steady state analysis
Version 2.0.13
- Added approximant transition type
- Fixed occasional crashes when exporting to SVG
Version 2.0.12
- Added a "stop condition" to each analysis engine
- Initial name position for transition and places is changed to
a more convenient place
- Name label is now in bold font
- Reset transition indicator is now on the transition left side
- Transition tooltip now show minimalistic informations
- Transition tooltip is now transparent
- Added an option to turn off components tooltips
- Added a link to oris tool website in menu Help - About...
- Fixed some bugs in analyzer
- Fixed the duplicate section bug on status bar
Version 2.0.11
- Added GSPN analysis
- Added Windows installer
- Added internet auto-updates
- Modified the way a transition can be rotated. Now there is a
button in the toolbar to enable transition rotation.
- Added Help menu with a What's new... command and an About...
command
- Added tooltip over transitions showing transition properties
Version 2.0.10
- Fix plot cumulative rewards
- Splash screen restored
Version 2.0.9
- Log level control on transient and regenerative analysis
- Instantaneous and cumulative rewards on transient and
regenerative analysis
- Plot without title
Version 2.0.8
- Added a priority field to immediate and deterministic
transitions
- New sirio integration for priority field
Version 2.0.7
- Added click and drag feature when adding a new place or
transition. You can insert and immediately move (and align) a new
inserted element
- Main window now starts maximized
- Bug for nondeterministic analysis fixed: flags of the
configuration panel were not considered
Version 2.0.6
- SVG Export added on File menu.
- Show/hide joint node action added on toolbar and show menu