Provides classes for the simulation of STPNs.
Class Summary Class Description SamplerFeatureTransition feature associating a time-to-fire sampler. SimulatorSTPNInitialStateBuilderBuilder for the initial state for the simulation of an STPN. SimulatorSTPNSuccessorEvaluatorSuccession state evaluator for the simulation of an STPN. SteadyStateMarkingProbabilityReward estimating the steady-state probability of a marking. STPNSimulatorComponentsFactoryComponents using during the simulation of STPNs. TransientMarkingConditionProbabilityReward estimating the transient probability of a marking condition. TransientMarkingProbabilityReward estimating the transient probability of a marking. TransitionAbsoluteFiringTimeReward estimating the absolute time of a transition firing.