All Classes Interface Summary Class Summary Enum Summary
| Class |
Description |
| AbstractLivenessAnalyzer |
|
| BoundednessAnalyzer |
Class to analyze whether a given PetriNet is bounded Based on Murata, Tadao.
|
| CGGenerator |
This class represents a plugin to transform net into coverability graph
|
| CyclomaticSemantics |
|
| DeadTransitionAnalyzer |
This class analyze dead transitions in a given net Based on coverability
graph written by Murata, Tadao.
|
| DependencyFactory |
|
| FreeChoiceAnalyzer |
This class analyze whether a given net is a free choice-net, extended free
choice net, or not both Based on Murata, Tadao, Fellow, Lee.
|
| HomeMarkingAnalyzer |
Class to analyze all home marking Home marking is reachable from all of
available marking.
|
| IncidenceMatrixFactory |
This class generate incidence matrix from a net
|
| InvariantCalculator |
Title: InvariantCalculator
|
| LivenessAnalyzer |
Class to analyze whether a given net is live based on Murata, Tadao.
|
| LivenessAnalyzerWithSequence |
Class to analyze whether a given net is live based on Murata, Tadao.
|
| PetriNetCardosoMetric |
|
| PetriNetCyclomaticMetric |
|
| PetriNetDensityMetric |
|
| PetriNetMetric |
|
| PetriNetMetricManager |
|
| PetriNetMetrics |
|
| PetriNetMetricsPlugin |
|
| PetriNetNofArcsMetric |
|
| PetriNetNofPlacesMetric |
|
| PetriNetNofTransitionsMetric |
|
| PetriNetStructurednessMetric |
|
| PlaceInvariantCalculator |
This class represents a plugin to calculate basis of semi-positive place
invariants of petri net Modified from PlaceInvariantCalculator class
implemented in ProM 5
|
| PNBehavioralAnalysis |
|
| PNPluginSelectionPanel |
|
| PNPluginSelectionPanel.AnalysisTypes |
|
| PNPluginSelectionPanel.AnalysisTypes.AnalysisTypesComp |
Compare AnalysisTypes by their string representation
|
| PNStructuralAnalysis |
|
| PTHandlesGenerator |
Class to identify PT Handler from a given net(if there is any) PT Handle
refers to J.
|
| RelaxedSoundnessAnalyzer |
Relaxed soundness checker using LoLA Assuming that the Petri net has
interleaving semantics
|
| SComponentGenerator |
Class to decompose petri net into its S-components (if there is any) this
implementation based on characteristic of place invariants:
"any S-component consists of the support of a minimal support P-invariant and the transitions adjacent to these places"
Taken from : D.
|
| SelfLoopTransitionExtract |
|
| SignIncidenceMatrixOperator |
This class provide static variable and unique operation(s) in
SignIncidenceMatrix This class is used in generating minimal siphons and
traps
|
| SiphonGenerator |
This class identify minimal siphon, based mainly from : Boer, Ermin R.
|
| SlickerPluginDependencyConfiguration |
|
| SlickerPluginDependencyConfiguration.SelectionAction |
|
| TComponentGenerator |
Class to decompose petri net into its T-components (if there is any) this
implementation is similar to SComponentGenerator implementation
|
| TPHandlesGenerator |
Class to identify TP Handles from a given net(if there is any) TP Handle
refers to J.
|
| TransitionInvariantCalculator |
This class is a plugin to calculate basis of semi-positive transition
invariants of petri net and inhibitor net.
|
| TrapGenerator |
This class identify minimal traps, based mainly from : Boer, Ermin R.
|
| TSGenerator |
|