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
ConstructorDescriptionPetriComponentsFactory
(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy) Builds a factor from a set of input objects. -
Method Summary
Modifier and TypeMethodDescriptionReturns the builder for the events enabled in a state.Returns the policy selecting the next event to explore.Returns the criterion to arrest the entire graph enumeration.Returns the criterion to arrest the enumeration on a specific node.Returns the post-processor used after computing a successor state.Returns the pre-processor used before computing the enabled events.Returns the builder for the successor states after an event.
-
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 functiontokensAdder
- the token adder functioncheckNewlyEnabled
- whether to check the set of newly enabled transitions when comparing statespolicy
- the policy used to select the next state
-
-
Method Details
-
getEnumerationPolicy
Description copied from interface:AnalyzerComponentsFactory
Returns the policy selecting the next event to explore.- Specified by:
getEnumerationPolicy
in interfaceAnalyzerComponentsFactory<PetriNet,
Transition> - Returns:
- policy used by the analyzer
-
getEnabledEventsBuilder
Description copied from interface:AnalyzerComponentsFactory
Returns the builder for the events enabled in a state.- Specified by:
getEnabledEventsBuilder
in interfaceAnalyzerComponentsFactory<PetriNet,
Transition> - Returns:
- enabled events builder used by the analyzer
-
getSuccessionEvaluator
Description copied from interface:AnalyzerComponentsFactory
Returns the builder for the successor states after an event.- Specified by:
getSuccessionEvaluator
in interfaceAnalyzerComponentsFactory<PetriNet,
Transition> - Returns:
- succession evaluator used by the analyzer
-
getPreProcessor
Description copied from interface:AnalyzerComponentsFactory
Returns the pre-processor used before computing the enabled events.- Specified by:
getPreProcessor
in interfaceAnalyzerComponentsFactory<PetriNet,
Transition> - Returns:
- pre-processor used by the analyzer
-
getPostProcessor
Description copied from interface:AnalyzerComponentsFactory
Returns the post-processor used after computing a successor state.- Specified by:
getPostProcessor
in interfaceAnalyzerComponentsFactory<PetriNet,
Transition> - Returns:
- post-processor used by the analyzer
-
getLocalStopCriterion
Description copied from interface:AnalyzerComponentsFactory
Returns the criterion to arrest the enumeration on a specific node.- Specified by:
getLocalStopCriterion
in interfaceAnalyzerComponentsFactory<PetriNet,
Transition> - Returns:
- local criterion used by the analyzer
-
getGlobalStopCriterion
Description copied from interface:AnalyzerComponentsFactory
Returns the criterion to arrest the entire graph enumeration.- Specified by:
getGlobalStopCriterion
in interfaceAnalyzerComponentsFactory<PetriNet,
Transition> - Returns:
- global criterion used by the analyzer
-