ORIS

Overview

Entry last updated: 2013/12/13
Entry last validated: 2013/12/13

Tool homepage: http://www.oris-tool.org

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

Petri nets can be edited graphically, associating transitions with earliest and latest time to fire (time Petri nets), or with a deterministic or expolynomial probability density function with finite or infinite support (stochastic time Petri nets). The editor includes features such as undo, cut-and-paste, zoom, magnetic grid, alignment and even spacing of elements, SVG export, sticky notes. The stochastic state class graph of time Petri nets can be computed and visualized graphically. For stochastic time Petri nets, the stochastic state class graph can highlight regeneration points and exclude firings with null probability. Transient state probabilities of stochastic time Petri nets can be computed through the forward enumeration of stochastic state classes (distributions of time-to-fires after each firing) within a time-bound. Regenerative analysis combines the enumeration of stochastic state classes up to regeneration points with integral equation systems, in order to exploit the repetitive structure of the underlying stochastic process.

Contact Information

Enrico Vicario
University of Florence
Via di Santa Marta, 3
50139 Firenze
Italy

Phone:  +390554796463
Fax:    
E-mail: enrico.vicario@unifi.it

Other Remarks


[PN Home][*]
The maintainers of this page