Package org.oristool.models.tpn
Class TimedSuccessionEvaluator
java.lang.Object
org.oristool.models.tpn.TimedSuccessionEvaluator
- All Implemented Interfaces:
SuccessionEvaluator<PetriNet,
Transition>
public final class TimedSuccessionEvaluator
extends Object
implements SuccessionEvaluator<PetriNet,Transition>
Builder of successor states for time Petri nets.
-
Constructor Summary
ConstructorDescriptionTimedSuccessionEvaluator
(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, boolean excludeZeroProb) Builds a succession evaluator with a given token remover and adder. -
Method Summary
Modifier and TypeMethodDescriptioncomputeSuccession
(PetriNet petriNet, State state, Transition fired)
-
Constructor Details
-
TimedSuccessionEvaluator
public TimedSuccessionEvaluator(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, boolean excludeZeroProb) Builds a succession evaluator with a given token remover and adder.If
checkNewlyEnabled
is true, states with the same marking are considered different if they have a different set of newly-enabled transitions.If
excludeZeroProb
is true, transition firings with zero probability are excluded.- Parameters:
tokensRemover
- the object used to add tokens after a firingtokensAdder
- the object used to remove tokens after a firingcheckNewlyEnabled
- whether to compare the sets of newly-enabled transitions of statesexcludeZeroProb
- whether to exclude transition firings with zero probability
-
-
Method Details
-
computeSuccession
- Specified by:
computeSuccession
in interfaceSuccessionEvaluator<PetriNet,
Transition>
-