Features

Graphical Petri net editor
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,
cutandpaste, zoom, magnetic grid, alignment and even spacing
of elements, SVG export, sticky notes.

Nondeterministic analysis of time Petri nets
The state class graph of time Petri nets can be computed and
visualized graphically. For stochastic time Petri nets, the
state class graph can highlight regeneration points and
exclude firings with null probability.

Transient analysis of nonMarkovian stochastic Petri nets
Transient state probabilities of stochastic time Petri nets
can be computed through the forward enumeration of stochastic
state classes (distributions of timetofires after each
firing) within a timebound. 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.
A previous release of ORIS, with support for the analysis of nondeterministic preemptive models, can be found at stlab.dinfo.unifi.it/oris1.0.