All Classes
- AbstractLivenessAnalyzer
- BoundednessAnalyzer
- CGGenerator
- CyclomaticSemantics
- DeadTransitionAnalyzer
- DependencyFactory
- FreeChoiceAnalyzer
- HomeMarkingAnalyzer
- IncidenceMatrixFactory
- InvariantCalculator
- LivenessAnalyzer
- LivenessAnalyzerWithSequence
- PetriNetCardosoMetric
- PetriNetCyclomaticMetric
- PetriNetDensityMetric
- PetriNetMetric
- PetriNetMetricManager
- PetriNetMetrics
- PetriNetMetricsPlugin
- PetriNetNofArcsMetric
- PetriNetNofPlacesMetric
- PetriNetNofTransitionsMetric
- PetriNetStructurednessMetric
- PlaceInvariantCalculator
- PNBehavioralAnalysis
- PNPluginSelectionPanel
- PNPluginSelectionPanel.AnalysisTypes
- PNPluginSelectionPanel.AnalysisTypes.AnalysisTypesComp
- PNStructuralAnalysis
- PTHandlesGenerator
- RelaxedSoundnessAnalyzer
- SComponentGenerator
- SelfLoopTransitionExtract
- SignIncidenceMatrixOperator
- SiphonGenerator
- SlickerPluginDependencyConfiguration
- SlickerPluginDependencyConfiguration.SelectionAction
- TComponentGenerator
- TPHandlesGenerator
- TransitionInvariantCalculator
- TrapGenerator
- TSGenerator