Package org.oristool.models.stpn

package org.oristool.models.stpn

Analysis of STPNs.

Related Packages

Package	Description
org.oristool.models	Provides classes for the analysis of different models.
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.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.tpn	Analysis of TPNs.

Class	Description
MarkingExpr	A function from Marking to Double.
MarkingExpr.ConstantExpr
MarkingExpr.LelloExpr
RewardRate	A marking-dependent rate expression.
SteadyStateSolution<T>
TransientSolution<R,S>	Transient probabilities from many initial states.
TransientSolutionViewer	Swing plot visualizer.