Uses of Interface
org.oristool.models.Engine
Packages that use Engine
Package
Description
Analysis of GSPNs.
Reachability analysis in GSPNs.
Analysis of MRPs under enabling restriction.
Steady-state analysis of MRPs.
Transient analysis of MRPs and GSMPs.
Analysis of TPNs.
-
Uses of Engine in org.oristool.models.gspn
Classes in org.oristool.models.gspn that implement EngineModifier and TypeClassDescriptionclass
Computes the stationary distribution for the underlying CTMC of a GSPN.class
Computes transient probabilities for the underlying CTMC of a GSPN. -
Uses of Engine in org.oristool.models.gspn.reachability
Classes in org.oristool.models.gspn.reachability that implement EngineModifier and TypeClassDescriptionclass
Computes the graph of tangible markings reachable in a GSPN. -
Uses of Engine in org.oristool.models.stpn.onegen
Classes in org.oristool.models.stpn.onegen that implement EngineModifier and TypeClassDescriptionclass
Transient analysis of STPNs with at most one general transition enabled in each state. -
Uses of Engine in org.oristool.models.stpn.steady
Classes in org.oristool.models.stpn.steady that implement EngineModifier and TypeClassDescriptionclass
Steady-state analysis of STPNs using trees of stochastic state classes between regenerations. -
Uses of Engine in org.oristool.models.stpn.trans
Classes in org.oristool.models.stpn.trans that implement EngineModifier and TypeClassDescriptionclass
Transient analysis of STPNs using trees of stochastic state classes between regenerations.class
Transient analysis of STPNs using a single tree of stochastic state classes. -
Uses of Engine in org.oristool.models.tpn
Classes in org.oristool.models.tpn that implement EngineModifier and TypeClassDescriptionclass
State-class graph builder for time Petri nets.