Package org.oristool.models.stpn.trees

Class StochasticComponentsFactory

java.lang.Object

org.oristool.models.stpn.trees.StochasticComponentsFactory

All Implemented Interfaces:

AnalyzerComponentsFactory<PetriNet,Transition>

public final class StochasticComponentsFactory
extends Object
implements AnalyzerComponentsFactory<PetriNet,Transition>

Factory of objects to build the state space and PDFs of a stochastic time Petri net using Analyzer.

Constructor Summary

Constructors

Constructor	Description
StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.

Method Summary

Modifier and Type	Method	Description
EnabledEventsBuilder<PetriNet,Transition>	getEnabledEventsBuilder()	Returns the builder for the events enabled in a state.
EnumerationPolicy	getEnumerationPolicy()	Returns the policy selecting the next event to explore.
StopCriterion	getGlobalStopCriterion()	Returns the criterion to arrest the entire graph enumeration.
StopCriterion	getLocalStopCriterion()	Returns the criterion to arrest the enumeration on a specific node.
SuccessionProcessor	getPostProcessor()	Returns the post-processor used after computing a successor state.
SuccessionProcessor	getPreProcessor()	Returns the pre-processor used before computing the enabled events.
SuccessionEvaluator<PetriNet,Transition>	getSuccessionEvaluator()	Returns the builder for the successor states after an event.

Methods inherited from class java.lang.Object

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

Constructor Details

StochasticComponentsFactory

public StochasticComponentsFactory(boolean transientAnalysis,
 MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder,
 boolean checkNewlyEnabled,
 EnumerationPolicy policy,
 OmegaBigDecimal tauAgeLimit,
 MarkingCondition stopCondition,
 BigDecimal epsilon,
 int numSamples,
 AnalysisMonitor monitor)

Builds a factory for STPN analysis.

Parameters:

transientAnalysis - whether to include Variable.AGE

tokensRemover - the token remover function

tokensAdder - the token adder function

checkNewlyEnabled - whether to check newly-enabled sets in state comparisons

policy - policy for the selection of new nodes

tauAgeLimit - time bound for the analysis

stopCondition - stop condition for the analysis

epsilon - allowed error when comparing states

numSamples - number of samples used to compare states

monitor - analysis monitor

StochasticComponentsFactory

public StochasticComponentsFactory(boolean transientAnalysis,
 MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder,
 boolean checkNewlyEnabled,
 EnumerationPolicy policy,
 OmegaBigDecimal tauAgeLimit,
 StopCriterion stopCriterion,
 BigDecimal epsilon,
 int numSamples,
 AnalysisMonitor monitor)

Builds a factory for STPN analysis.

Parameters:

transientAnalysis - whether to include Variable.AGE

tokensRemover - the token remover function

tokensAdder - the token adder function

checkNewlyEnabled - whether to check newly-enabled sets in state comparisons

policy - policy for the selection of new nodes

tauAgeLimit - time bound for the analysis

stopCriterion - local stop criterion for the analysis

epsilon - allowed error when comparing states

numSamples - number of samples used to compare states

monitor - analysis monitor

Method Details

getEnumerationPolicy

public EnumerationPolicy getEnumerationPolicy()

Description copied from interface: AnalyzerComponentsFactory

Returns the policy selecting the next event to explore.

Specified by:

getEnumerationPolicy in interface AnalyzerComponentsFactory<PetriNet,Transition>

Returns:

policy used by the analyzer

getEnabledEventsBuilder

public EnabledEventsBuilder<PetriNet,Transition> getEnabledEventsBuilder()

Description copied from interface: AnalyzerComponentsFactory

Returns the builder for the events enabled in a state.

Specified by:

getEnabledEventsBuilder in interface AnalyzerComponentsFactory<PetriNet,Transition>

Returns:

enabled events builder used by the analyzer

getSuccessionEvaluator

public SuccessionEvaluator<PetriNet,Transition> getSuccessionEvaluator()

Description copied from interface: AnalyzerComponentsFactory

Returns the builder for the successor states after an event.

Specified by:

getSuccessionEvaluator in interface AnalyzerComponentsFactory<PetriNet,Transition>

Returns:

succession evaluator used by the analyzer

getPreProcessor

public SuccessionProcessor getPreProcessor()

Description copied from interface: AnalyzerComponentsFactory

Returns the pre-processor used before computing the enabled events.

Specified by:

getPreProcessor in interface AnalyzerComponentsFactory<PetriNet,Transition>

Returns:

pre-processor used by the analyzer

getPostProcessor

public SuccessionProcessor getPostProcessor()

Description copied from interface: AnalyzerComponentsFactory

Returns the post-processor used after computing a successor state.

Specified by:

getPostProcessor in interface AnalyzerComponentsFactory<PetriNet,Transition>

Returns:

post-processor used by the analyzer

getLocalStopCriterion

public StopCriterion getLocalStopCriterion()

Description copied from interface: AnalyzerComponentsFactory

Returns the criterion to arrest the enumeration on a specific node.

Specified by:

getLocalStopCriterion in interface AnalyzerComponentsFactory<PetriNet,Transition>

Returns:

local criterion used by the analyzer

getGlobalStopCriterion

public StopCriterion getGlobalStopCriterion()

Description copied from interface: AnalyzerComponentsFactory

Returns the criterion to arrest the entire graph enumeration.

Specified by:

getGlobalStopCriterion in interface AnalyzerComponentsFactory<PetriNet,Transition>

Returns:

global criterion used by the analyzer