Uses of Package
org.oristool.analyzer.policy
Package
Description
General framework for state space exploration.
Enumeration policies for state space exploration.
Analysis of Petri nets.
Transient analysis of MRPs and GSMPs.
Calculus of stochastic state classes.
Analysis of TPNs.