Uses of Package
org.oristool.models.gspn.chains

Packages that use org.oristool.models.gspn.chains

Package	Description
org.oristool.models.gspn.chains	Analysis of Markov chains.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.

Classes in org.oristool.models.gspn.chains used by org.oristool.models.gspn.chains

Class	Description
AbsorptionProbs	Computation of absorption probabilities into BSCCs from all states.
CTMCState	Generic interface for states of a CTMC.
CTMCStationary	Computation of the stationary distribution of a CTMC.
CTMCStationary.Builder
CTMCTransient	Computation of the transient probabilities of a CTMC.
CTMCTransient.Builder
DTMC	Directed graph encoding a DTMC.
DTMCStationary	Computation of the stationary distribution of a DTMC.
DTMCStationary.Builder
DTMCTransientIter	Iterative computation of DTMC transient probabilities.
FoxGlynn	Computation of Poisson probabilities using Fox-Glynn algorithm.
Interval	An integer interval.

Classes in org.oristool.models.gspn.chains used by org.oristool.models.gspn.reachability

Class	Description
CTMCState	Generic interface for states of a CTMC.
DTMC	Directed graph encoding a DTMC.

Classes in org.oristool.models.gspn.chains used by org.oristool.models.stpn.onegen

Class	Description
CTMCState	Generic interface for states of a CTMC.