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 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 firing
      tokensAdder - the object used to remove tokens after a firing
      checkNewlyEnabled - whether to compare the sets of newly-enabled transitions of states
      excludeZeroProb - whether to exclude transition firings with zero probability
  • Method Details