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

Constructors

Constructor	Description
TimedSuccessionEvaluator(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, boolean excludeZeroProb)	Builds a succession evaluator with a given token remover and adder.

Method Summary

Modifier and Type	Method	Description
Succession	computeSuccession(PetriNet petriNet, State state, Transition fired)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

computeSuccession

public Succession computeSuccession(PetriNet petriNet,
 State state,
 Transition fired)

Specified by:

computeSuccession in interface SuccessionEvaluator<PetriNet,Transition>