- AbstractLivenessAnalyzer - Class in org.processmining.plugins.petrinet.behavioralanalysis
-
- AbstractLivenessAnalyzer() - Constructor for class org.processmining.plugins.petrinet.behavioralanalysis.AbstractLivenessAnalyzer
-
- action - Variable in class org.processmining.plugins.petrinet.analysis.SlickerPluginDependencyConfiguration.PluginConfigurationItem
-
- actionLabel - Variable in class org.processmining.plugins.petrinet.analysis.SlickerPluginDependencyConfiguration.PluginConfigurationItem
-
- add(double, double) - Static method in class org.processmining.plugins.petrinet.structuralanalysis.SignIncidenceMatrixOperator
-
- addMatrix1Column(DoubleMatrix1D, DoubleMatrix1D) - Static method in class org.processmining.plugins.petrinet.structuralanalysis.SignIncidenceMatrixOperator
-
- AnalysisTypesComp() - Constructor for class org.processmining.plugins.petrinet.analysis.PNPluginSelectionPanel.AnalysisTypes.AnalysisTypesComp
-
- analyzeBehavioralProperty(PluginContext, Petrinet, Marking, PetrinetSemantics, PNPluginSelectionPanel.AnalysisTypes[]) - Method in class org.processmining.plugins.petrinet.analysis.PNBehavioralAnalysis
-
- analyzeBoundednessPetriNet(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.BoundednessAnalyzer
-
- analyzeBoundednessPetriNet(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.BoundednessAnalyzer
-
- analyzeBoundednessPetriNet(PluginContext, Petrinet, Marking, PetrinetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.BoundednessAnalyzer
-
- analyzeBoundednessPetriNet(PluginContext, Petrinet, Marking, CoverabilitySet, PetrinetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.BoundednessAnalyzer
-
- analyzeDeadTransitionPetriNet(PluginContext, Petrinet, Marking, CoverabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.DeadTransitionAnalyzer
-
- analyzeDeadTransitionPetriNet(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.DeadTransitionAnalyzer
-
- analyzeDeadTransitionPetriNet(PluginContext, Petrinet, Marking, PetrinetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.DeadTransitionAnalyzer
-
- analyzeFCAndEFCProperty(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.FreeChoiceAnalyzer
-
- analyzeFCAndEFCProperty(PluginContext, InhibitorNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.FreeChoiceAnalyzer
-
- analyzeFCAndEFCProperty(PluginContext, ResetNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.FreeChoiceAnalyzer
-
- analyzeFCAndEFCProperty(PluginContext, ResetInhibitorNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.FreeChoiceAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
Variant of net and marking
- analyzeHomeMarkingPetriNet(PluginContext, InhibitorNet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, ResetNet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, ResetInhibitorNet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, Petrinet, Marking, PetrinetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
Variant with net, marking, and semantics
- analyzeHomeMarkingPetriNet(PluginContext, InhibitorNet, Marking, InhibitorNetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, ResetNet, Marking, ResetNetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, ResetInhibitorNet, Marking, ResetInhibitorNetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, Petrinet, Marking, ReachabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
variants with net, marking, and reachability graph
- analyzeHomeMarkingPetriNet(PluginContext, InhibitorNet, Marking, ReachabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, ResetNet, Marking, ReachabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeHomeMarkingPetriNet(PluginContext, ResetInhibitorNet, Marking, ReachabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer
-
- analyzeLivenessOnFreeChoiceNet(Marking, SiphonSet, TrapSet) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.AbstractLivenessAnalyzer
-
Method to analyze Liveness, given that the net is free-choice.
- analyzeLivenessOnNonFreeChoicePetriNet(PetrinetGraph, Marking, ReachabilityGraph, Marking...) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.AbstractLivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
Variant of net and marking
- analyzeLivenessPetriNet(PluginContext, InhibitorNet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, ResetNet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, ResetInhibitorNet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, Petrinet, Marking, PetrinetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
Variant of net, marking, and semantics
- analyzeLivenessPetriNet(PluginContext, InhibitorNet, Marking, InhibitorNetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, ResetNet, Marking, ResetNetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, ResetInhibitorNet, Marking, ResetInhibitorNetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, Petrinet, Marking, ReachabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
Variant of net, marking, and reachability graph
- analyzeLivenessPetriNet(PluginContext, InhibitorNet, Marking, ReachabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, ResetNet, Marking, ReachabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, ResetInhibitorNet, Marking, ReachabilityGraph) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer
-
- analyzeLivenessPetriNet(PluginContext, Petrinet, Marking, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
Variant of net and marking
- analyzeLivenessPetriNet(PluginContext, InhibitorNet, Marking, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNet(PluginContext, ResetNet, Marking, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNet(PluginContext, ResetInhibitorNet, Marking, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNet(PluginContext, Petrinet, Marking, PetrinetSemantics, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
Variant of net, marking, and semantics
- analyzeLivenessPetriNet(PluginContext, InhibitorNet, Marking, InhibitorNetSemantics, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNet(PluginContext, ResetNet, Marking, ResetNetSemantics, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNet(PluginContext, ResetInhibitorNet, Marking, ResetInhibitorNetSemantics, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNet(PluginContext, Petrinet, Marking, ReachabilityGraph, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
Variant of net, marking, and reachability graph
- analyzeLivenessPetriNet(PluginContext, InhibitorNet, Marking, ReachabilityGraph, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNet(PluginContext, ResetNet, Marking, ReachabilityGraph, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNet(PluginContext, ResetInhibitorNet, Marking, ReachabilityGraph, Marking[]) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzerWithSequence
-
- analyzeLivenessPetriNetPrivate(PluginContext, PetrinetGraph, Marking, ReachabilityGraph, Semantics<Marking, Transition>, Marking...) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.AbstractLivenessAnalyzer
-
Method to analyze liveness of any kind of petri net given a net, a
marking, a semantic, and reachability graph
- analyzePN(UIPluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.analysis.PNBehavioralAnalysis
-
- analyzePN(UIPluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.analysis.PNBehavioralAnalysis
-
- analyzePNAssumeMarkingConnnection(UIPluginContext, Petrinet, Marking, PetrinetSemantics) - Method in class org.processmining.plugins.petrinet.analysis.PNBehavioralAnalysis
-
- analyzePTHandles(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.PTHandlesGenerator
-
- analyzePTHandles(PluginContext, InhibitorNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.PTHandlesGenerator
-
- analyzePTHandles(PluginContext, ResetNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.PTHandlesGenerator
-
- analyzePTHandles(PluginContext, ResetInhibitorNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.PTHandlesGenerator
-
- analyzePTHandlesMain(PluginContext, PetrinetGraph) - Method in class org.processmining.plugins.petrinet.structuralanalysis.PTHandlesGenerator
-
Main method to analyze P-T Handle (with context)
- analyzeRelaxedSoundPetriNet(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.RelaxedSoundnessAnalyzer
-
- analyzeRelaxedSoundPetriNet(PluginContext, Petrinet, Marking, PetrinetSemantics) - Method in class org.processmining.plugins.petrinet.behavioralanalysis.RelaxedSoundnessAnalyzer
-
- analyzeStructuralProperty(UIPluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.analysis.PNStructuralAnalysis
-
- analyzeStructuralProperty(PluginContext, Petrinet, PNPluginSelectionPanel.AnalysisTypes[]) - Method in class org.processmining.plugins.petrinet.analysis.PNStructuralAnalysis
-
- analyzeTPHandles(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.TPHandlesGenerator
-
- analyzeTPHandles(PluginContext, InhibitorNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.TPHandlesGenerator
-
- analyzeTPHandles(PluginContext, ResetNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.TPHandlesGenerator
-
- analyzeTPHandles(PluginContext, ResetInhibitorNet) - Method in class org.processmining.plugins.petrinet.structuralanalysis.TPHandlesGenerator
-
- analyzeTPHandlesMain(PluginContext, PetrinetGraph) - Method in class org.processmining.plugins.petrinet.structuralanalysis.TPHandlesGenerator
-
Main method to analyze T-P Handle (with context)