Uses of Package
org.oristool.analyzer

Packages that use org.oristool.analyzer

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.graph	Provides classes for the representation of state spaces.
org.oristool.analyzer.policy	Enumeration policies for state space exploration.
org.oristool.analyzer.stop	Stop conditions for state space exploration.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.
org.oristool.petrinet	Petri net representation.
org.oristool.simulator	Simulator framework.
org.oristool.simulator.rewards	Simulation rewards.
org.oristool.simulator.stpn	Provides classes for the simulation of STPNs.

Classes in org.oristool.analyzer used by org.oristool.analyzer

Class	Description
AnalyzerComponentsFactory	Factory for all the components used by the analyzer.
AnalyzerObserver	Common interface of observers of the analyzer execution.
EnabledEventsBuilder	Common interface used by the analyzer to enumerate the events enabled in a state for a model.
Event	Common interface of events supported by the analyzer.
NoOpProcessor	A succession processor producing no changes on the input succession.
Succession	Succession between two states after the firing of an event.
SuccessionEvaluator	Common interface of succession evaluators.
SuccessionProcessor	Common interface of succession processors supported by the analyzer.

Classes in org.oristool.analyzer used by org.oristool.analyzer.graph

Class	Description
Succession	Succession between two states after the firing of an event.

Classes in org.oristool.analyzer used by org.oristool.analyzer.policy

Class	Description
Succession	Succession between two states after the firing of an event.

Classes in org.oristool.analyzer used by org.oristool.analyzer.stop

Class	Description
AnalyzerObserver	Common interface of observers of the analyzer execution.
Succession	Succession between two states after the firing of an event.

Classes in org.oristool.analyzer used by org.oristool.models.gspn.reachability

Class	Description
SuccessionFeature	Common interface of features allowed on a succession.

Classes in org.oristool.analyzer used by org.oristool.models.pn

Class	Description
AnalyzerComponentsFactory	Factory for all the components used by the analyzer.
AnalyzerObserver	Common interface of observers of the analyzer execution.
EnabledEventsBuilder	Common interface used by the analyzer to enumerate the events enabled in a state for a model.
Succession	Succession between two states after the firing of an event.
SuccessionEvaluator	Common interface of succession evaluators.
SuccessionProcessor	Common interface of succession processors supported by the analyzer.

Classes in org.oristool.analyzer used by org.oristool.models.stpn.trees

Class	Description
AnalyzerComponentsFactory	Factory for all the components used by the analyzer.
AnalyzerObserver	Common interface of observers of the analyzer execution.
EnabledEventsBuilder	Common interface used by the analyzer to enumerate the events enabled in a state for a model.
Succession	Succession between two states after the firing of an event.
SuccessionEvaluator	Common interface of succession evaluators.
SuccessionFeature	Common interface of features allowed on a succession.
SuccessionProcessor	Common interface of succession processors supported by the analyzer.

Classes in org.oristool.analyzer used by org.oristool.models.tpn

Class	Description
AnalyzerComponentsFactory	Factory for all the components used by the analyzer.
AnalyzerObserver	Common interface of observers of the analyzer execution.
EnabledEventsBuilder	Common interface used by the analyzer to enumerate the events enabled in a state for a model.
Succession	Succession between two states after the firing of an event.
SuccessionEvaluator	Common interface of succession evaluators.
SuccessionProcessor	Common interface of succession processors supported by the analyzer.

Classes in org.oristool.analyzer used by org.oristool.petrinet

Class	Description
Event	Common interface of events supported by the analyzer.

Classes in org.oristool.analyzer used by org.oristool.simulator

Class	Description
EnabledEventsBuilder	Common interface used by the analyzer to enumerate the events enabled in a state for a model.
Event	Common interface of events supported by the analyzer.
Succession	Succession between two states after the firing of an event.

Classes in org.oristool.analyzer used by org.oristool.simulator.rewards

Class	Description
Succession	Succession between two states after the firing of an event.

Classes in org.oristool.analyzer used by org.oristool.simulator.stpn

Class	Description
EnabledEventsBuilder	Common interface used by the analyzer to enumerate the events enabled in a state for a model.
Succession	Succession between two states after the firing of an event.