Package org.oristool.models.tpn

Class TimedComponentsFactory

java.lang.Object

org.oristool.models.tpn.TimedComponentsFactory

All Implemented Interfaces:

AnalyzerComponentsFactory<PetriNet,Transition>

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

Factory of objects to explore the state space of a time Petri net using Analyzer.

Constructor Summary

Constructors

Constructor	Description
TimedComponentsFactory()	Builds a default factory for TPN analysis.
TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, StopCriterion stopCondition, AnalysisMonitor monitor, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder)	Builds a factory for TPN analysis.
TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, MarkingCondition stopCondition, AnalysisMonitor monitor)	Builds a factory for TPN analysis.
TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, MarkingCondition stopCondition, AnalysisMonitor monitor, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder)	Builds a factory for TPN analysis.

Method Summary

Modifier and Type	Method	Description
State	buildInitialState(PetriNet pn, Marking initialMarking)	Builds an initial State instance from a marking.
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

TimedComponentsFactory

public TimedComponentsFactory()

Builds a default factory for TPN analysis.

TimedComponentsFactory

public TimedComponentsFactory(boolean transientAnalysis,
 boolean checkNewlyEnabled,
 boolean excludeZeroProb,
 boolean markRegenerations,
 boolean enablingSyncs,
 EnumerationPolicy policy,
 MarkingCondition stopCondition,
 AnalysisMonitor monitor)

Builds a factory for TPN analysis.

Parameters:

transientAnalysis - whether to include Variable.AGE

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

excludeZeroProb - whether to exclude firing with zero probability

markRegenerations - whether to annotate states with Regeneration objects

enablingSyncs - whether to use enabling synchronizations when checking for regenerations

policy - state enumeration policy

stopCondition - stop condition

monitor - analysis monitor

TimedComponentsFactory

public TimedComponentsFactory(boolean transientAnalysis,
 boolean checkNewlyEnabled,
 boolean excludeZeroProb,
 boolean markRegenerations,
 boolean enablingSyncs,
 EnumerationPolicy policy,
 MarkingCondition stopCondition,
 AnalysisMonitor monitor,
 MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder)

Builds a factory for TPN analysis.

Parameters:

transientAnalysis - whether to include Variable.AGE

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

excludeZeroProb - whether to exclude firing with zero probability

markRegenerations - whether to annotate states with Regeneration objects

enablingSyncs - whether to use enabling synchronizations when checking for regenerations

policy - state enumeration policy

stopCondition - stop condition

monitor - analysis monitor

tokensRemover - component used to remove tokens

tokensAdder - component used to add tokens

TimedComponentsFactory

public TimedComponentsFactory(boolean transientAnalysis,
 boolean checkNewlyEnabled,
 boolean excludeZeroProb,
 boolean markRegenerations,
 boolean enablingSyncs,
 EnumerationPolicy policy,
 StopCriterion stopCondition,
 AnalysisMonitor monitor,
 MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder)

Builds a factory for TPN analysis.

Parameters:

transientAnalysis - whether to include Variable.AGE

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

excludeZeroProb - whether to exclude firing with zero probability

markRegenerations - whether to annotate states with Regeneration objects

enablingSyncs - whether to use enabling synchronizations when checking for regenerations

policy - state enumeration policy

stopCondition - stop condition

monitor - analysis monitor

tokensAdder - object used to remove tokens

tokensRemover - object used to add tokens

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

buildInitialState

public State buildInitialState(PetriNet pn,
 Marking initialMarking)

Builds an initial State instance from a marking.

The state includes a PetriStateFeature and a TimedStateFeature.

The TimedStateFeature will include Variable.AGE if this factory was initialized with transientAnalysis == true.

The PetriStateFeature will distinguish states with the same marking but different sets of newly enabled transitions if this factory was initialized with checkNewlyEnabled == true.

Parameters:

pn - Petri net associated with the marking

initialMarking - initial marking

Returns:

a state instance with PetriStateFeature and TimedStateFeature