Package org.oristool.models.stpn.trees

Class StochasticSuccessionEvaluator

java.lang.Object

org.oristool.models.stpn.trees.StochasticSuccessionEvaluator

All Implemented Interfaces:

SuccessionEvaluator<PetriNet,Transition>

public class StochasticSuccessionEvaluator
extends Object
implements SuccessionEvaluator<PetriNet,Transition>

Builder of successor states for stochastic time Petri nets.

Constructor Summary

Constructors

Constructor	Description
StochasticSuccessionEvaluator(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, OmegaBigDecimal tauAgeLimit)	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

StochasticSuccessionEvaluator

public StochasticSuccessionEvaluator(boolean transientAnalysis,
 MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder,
 boolean checkNewlyEnabled,
 OmegaBigDecimal tauAgeLimit)

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:

transientAnalysis - whether to include Variable.AGE

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

tauAgeLimit - time bound for the successors

Method Details

computeSuccession

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

Specified by:

computeSuccession in interface SuccessionEvaluator<PetriNet,Transition>