Package org.oristool.models.stpn.trees

Class RegenerativeComponentsFactory

java.lang.Object

org.oristool.models.stpn.trees.RegenerativeComponentsFactory

All Implemented Interfaces:

AnalyzerComponentsFactory<PetriNet,Transition>

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

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

The analysis will not expand nodes resulting from a regeneration. The resulting SuccessionGraph where the root and the leaves are regenerations (while inner nodes are not).

Constructor Summary

Constructors

Constructor	Description
RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, 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

RegenerativeComponentsFactory

public RegenerativeComponentsFactory(boolean transientAnalysis,
 MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder,
 boolean checkNewlyEnabled,
 SuccessionProcessor postProcessor,
 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

postProcessor - postprocessor to apply on each state

policy - policy used to select the next node

tauAgeLimit - time bound for the analysis

stopCondition - additional stop condition (the analysis always stops on regenerative nodes)

epsilon - allowed error when comparing states

numSamples - number of samples used to compare states

monitor - analysis monitor

RegenerativeComponentsFactory

public RegenerativeComponentsFactory(boolean transientAnalysis,
 MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder,
 boolean checkNewlyEnabled,
 SuccessionProcessor postProcessor,
 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

postProcessor - postprocessor to apply on each state

policy - policy used to select the next node

tauAgeLimit - time bound for the analysis

stopCriterion - additional stop condition (the analysis always stops on regenerative nodes)

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