Uses of Class
org.oristool.models.gspn.chains.DTMC

Packages that use DTMC

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

Uses of DTMC in org.oristool.models.gspn.chains

Methods in org.oristool.models.gspn.chains that return DTMC

Modifier and Type	Method	Description
static <S> DTMC<S>	DTMC.create()	Creates an empty DTMC.

Methods in org.oristool.models.gspn.chains with parameters of type DTMC

Modifier and Type	Method	Description
Map<M,Double>	CTMCStationary.apply(DTMC<S> dtmc)	Runs this analysis on a CTMC.
Pair<Map<M,Integer>,double[][]>	CTMCTransient.apply(DTMC<S> dtmc, double[] timePoints)	Runs this analysis on an input CTMC.

Uses of DTMC in org.oristool.models.gspn.reachability

Methods in org.oristool.models.gspn.reachability that return DTMC

Modifier and Type	Method	Description
DTMC<SPNState>	GSPNReachability.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.