Package org.oristool.models.pn

Class PetriSuccessionEvaluator

java.lang.Object

org.oristool.models.pn.PetriSuccessionEvaluator

All Implemented Interfaces:

SuccessionEvaluator<PetriNet,Transition>

public final class PetriSuccessionEvaluator
extends Object
implements SuccessionEvaluator<PetriNet,Transition>

Builder of successor states for Petri nets.

Constructor Summary

Constructors

Constructor	Description
PetriSuccessionEvaluator()
PetriSuccessionEvaluator(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled)	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

PetriSuccessionEvaluator

public PetriSuccessionEvaluator()

PetriSuccessionEvaluator

public PetriSuccessionEvaluator(MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder,
 boolean checkNewlyEnabled)

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.

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

Method Details

computeSuccession

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

Specified by:

computeSuccession in interface SuccessionEvaluator<PetriNet,Transition>