Uses of Interface
org.oristool.analyzer.AnalyzerComponentsFactory
Packages that use AnalyzerComponentsFactory
Package
Description
General framework for state space exploration.
Analysis of Petri nets.
Calculus of stochastic state classes.
Analysis of TPNs.
-
Uses of AnalyzerComponentsFactory in org.oristool.analyzer
Constructors in org.oristool.analyzer with parameters of type AnalyzerComponentsFactory -
Uses of AnalyzerComponentsFactory in org.oristool.models.pn
Classes in org.oristool.models.pn that implement AnalyzerComponentsFactoryModifier and TypeClassDescriptionfinal class
Factory of objects to explore the state space of a Petri net usingAnalyzer
. -
Uses of AnalyzerComponentsFactory in org.oristool.models.stpn.trees
Classes in org.oristool.models.stpn.trees that implement AnalyzerComponentsFactory -
Uses of AnalyzerComponentsFactory in org.oristool.models.tpn
Classes in org.oristool.models.tpn that implement AnalyzerComponentsFactoryModifier and TypeClassDescriptionfinal class
Factory of objects to explore the state space of a time Petri net usingAnalyzer
.