Uses of Package
org.oristool.util

Packages that use org.oristool.util
Package
Description
General framework for state space exploration.
Generic state representation.
Analysis of GSPNs.
Analysis of Markov chains.
Reachability analysis in GSPNs.
Analysis of Petri nets.
Calculus of stochastic state classes.
Analysis of TPNs.
Petri net representation.
Simulator framework.
Provides classes for the simulation of STPNs.
Utility classes.