Package org.oristool.models.pn

Class PetriComponentsFactory

java.lang.Object

org.oristool.models.pn.PetriComponentsFactory

All Implemented Interfaces:

AnalyzerComponentsFactory<PetriNet,Transition>

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

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

Constructor Summary

Constructors

Constructor	Description
PetriComponentsFactory(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy)	Builds a factor from a set of input objects.

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

PetriComponentsFactory

public PetriComponentsFactory(MarkingUpdater tokensRemover,
 MarkingUpdater tokensAdder,
 boolean checkNewlyEnabled,
 EnumerationPolicy policy)

Builds a factor from a set of input objects.

Parameters:

tokensRemover - the token remover function

tokensAdder - the token adder function

checkNewlyEnabled - whether to check the set of newly enabled transitions when comparing states

policy - the policy used to select the next state

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