Package org.oristool.models.stpn.trees

package org.oristool.models.stpn.trees

Calculus of stochastic state classes.

Related Packages

Package	Description
org.oristool.models.stpn	Analysis of STPNs.
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.

Classes

Class	Description
DeterministicEnablingState	A generalized form of regeneration including a marking and the deterministic enabling times of non-exponential transitions.
DeterministicEnablingStateBuilder	State builder for stochastic time Petri nets.
DeterministicEnablingTimedStateBuilder	State builder for time Petri nets using deterministic enabling times.
EmpiricalTransitionFeature
EnablingSyncsEvaluator	Detector for generalized regenerations.
EnablingSyncsFeature	State feature encoding synchronizations between enabled timers.
NewlyEnablingEvaluator	Detector for standard regenerations.
NewlyEnablingStateBuilder	State builder for stochastic time Petri nets, using standard regenerations.
Regeneration<V>	A state feature including a regeneration.
RegenerativeComponentsFactory	Factory of objects to build the state space and PDFs of a stochastic time Petri net using Analyzer.
RegenerativeStopCriterion	Stop criterion halting the analysis after regenerations.
StochasticComponentsFactory	Factory of objects to build the state space and PDFs of a stochastic time Petri net using Analyzer.
StochasticStateFeature	A state feature encoding the support and PDF of enabled timers.
StochasticSuccessionEvaluator	Builder of successor states for stochastic time Petri nets.
StochasticSuccessionFeature	Succession feature encoding the firing probability.
StochasticTransitionFeature	Transition feature encoding the distribution and weight.
SuccessionGraphViewer
TransientStochasticStateFeature	State feature including the entering time distribution and reaching probability of a state.
TruncationPolicy	Priority policy halting the enumeration on dropRegenerative leaves or when the total reaching (before time limit) probability of nodes to be expanded is lower than epsilon (or both).