Uses of Interface
org.oristool.analyzer.stop.StopCriterion

Packages that use StopCriterion
Package
Description
General framework for state space exploration.
Stop conditions for state space exploration.
Analysis of GSPNs.
Reachability analysis in GSPNs.
Analysis of Petri nets.
Analysis of MRPs under enabling restriction.
Steady-state analysis of MRPs.
Transient analysis of MRPs and GSMPs.
Calculus of stochastic state classes.
Analysis of TPNs.