Uses of Interface
org.oristool.models.Engine

Packages that use Engine

Package	Description
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.steady	Steady-state analysis of MRPs.
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.
org.oristool.models.tpn	Analysis of TPNs.

Uses of Engine in org.oristool.models.gspn

Classes in org.oristool.models.gspn that implement Engine

Modifier and Type	Class	Description
class	GSPNSteadyState	Computes the stationary distribution for the underlying CTMC of a GSPN.
class	GSPNTransient	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 Engine

Modifier and Type	Class	Description
class	GSPNReachability	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 Engine

Modifier and Type	Class	Description
class	OneGenTransient	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 Engine

Modifier and Type	Class	Description
class	RegSteadyState	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 Engine

Modifier and Type	Class	Description
class	RegTransient	Transient analysis of STPNs using trees of stochastic state classes between regenerations.
class	TreeTransient	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 Engine

Modifier and Type	Class	Description
class	TimedAnalysis	State-class graph builder for time Petri nets.