Calculus of stochastic state classes.
Class Summary Class Description DeterministicEnablingStateA generalized form of regeneration including a marking and the deterministic enabling times of non-exponential transitions. DeterministicEnablingStateBuilderState builder for stochastic time Petri nets. DeterministicEnablingTimedStateBuilderState builder for time Petri nets using deterministic enabling times. EnablingSyncsEvaluatorDetector for generalized regenerations. EnablingSyncsFeatureState feature encoding synchronizations between enabled timers. NewlyEnablingEvaluatorDetector for standard regenerations. NewlyEnablingStateBuilderState builder for stochastic time Petri nets, using standard regenerations. Regeneration<V>A state feature including a regeneration. RegenerativeComponentsFactoryFactory of objects to build the state space and PDFs of a stochastic time Petri net using
RegenerativeStopCriterionStop criterion halting the analysis after regenerations. StochasticComponentsFactoryFactory of objects to build the state space and PDFs of a stochastic time Petri net using
StochasticStateFeatureA state feature encoding the support and PDF of enabled timers. StochasticSuccessionEvaluatorBuilder of successor states for stochastic time Petri nets. StochasticSuccessionFeatureSuccession feature encoding the firing probability. StochasticTransitionFeatureTransition feature encoding the distribution and weight. SuccessionGraphViewer TransientStochasticStateFeatureState feature including the entering time distribution and reaching probability of a state. TruncationPolicyPriority 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).