Package org.oristool.models.gspn.chains

package org.oristool.models.gspn.chains

Analysis of Markov chains.

Related Packages

Package	Description
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.

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