Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
D
E
G
I
N
O
S
T
V
W
D
diagnose(PluginContext, Petrinet)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
Woflan
The Woflan plug-in using no assumptions.
diagnose(PluginContext, Petrinet, Collection<WoflanState>)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
Woflan
The Woflan plug-in using assumptions.
diagnose(WoflanState)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
Woflan
Takes a next diagnosis step.
DIAGNOSIS
- Static variable in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanConnection
E
executeExecutableTransition(Transition)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanSemantics
G
getAssumptions()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanConnection
Gets the assumptions made.
getCurrentState()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanSemantics
getDeadTransitions()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
getExecutableTransitions()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanSemantics
getNonLiveSequences()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Precondition: net is bounded.
getNonLiveTransitions()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
getSinkPlaces()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
getUnboundedPlaces()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
getUnboundedSequences()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
I
initialize(Collection<Transition>, Marking)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanSemantics
isBounded()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
isLive()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
isNotDead()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
N
NET
- Static variable in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanConnection
net
- Variable in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Diagnostic information.
O
org.processmining.plugins.petrinet.behavioralanalysis.woflan
- package org.processmining.plugins.petrinet.behavioralanalysis.woflan
S
semantics
- Variable in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
setCurrentState(Marking)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanSemantics
setDeadTransitions(DeadTransitionsSet)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of dead transitions and the final verdict to DEAD.
setNotFreeChoice(NonExtendedFreeChoiceClustersSet)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of non-extended-free-choice clusters.
setNotLiveTransitions(NonLiveTransitionsSet, NonLiveSequences)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of non-live transitions and the set of non-live sequences, and sets the final verdict to NOTLIVE.
setNotPCoveredNodes(NotPCoveredNodesSet)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of places that are not covered by any positive place invariant.
setNotSCoveredNodes(NotSCoveredNodesSet)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of nodes that are not covered by any S-component.
setPTHandles(PTHandles)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of PT-handles.
setSinkPlaces(PluginContext, SortedSet<Place>)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of sink places, and the final verdict to NOWFNET.
setSound()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the final verdict to SOUND.
setSourcePlaces(PluginContext, SortedSet<Place>)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of source places, and the final verdict to NOWFNET.
setTPHandles(TPHandles)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of TP-handles.
setUnboundedPlaces(UnboundedPlacesSet, UnboundedSequences)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of unbounded places and the set of unbounded sequences, and sets the final verdict to UNBOUNDED.
setUnconnectedNodes(PluginContext, SortedSet<PetrinetNode>)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Sets the set of unconnected nodes, and the final verdict to NOWFNET.
shortCNet
- Variable in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
T
toHTMLString(boolean)
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Generates the HTML Woflan diagnosis report.
toString()
- Method in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Returns a condense report in some format.
V
valueOf(String)
- Static method in enum org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanState
Returns the enum constant of this type with the specified name.
values()
- Static method in enum org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanState
Returns an array containing the constants of this enum type, in the order they are declared.
W
Woflan
- Class in
org.processmining.plugins.petrinet.behavioralanalysis.woflan
Woflan Woflan diagnosis for a Petri net.
Woflan()
- Constructor for class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
Woflan
Public constructor of Woflan
WoflanConnection
- Class in
org.processmining.plugins.petrinet.behavioralanalysis.woflan
WoflanConnection Connects a Petri net to its diagnostics and the assumptions made to obtain these diagnostics.
WoflanConnection(PetrinetGraph, WoflanDiagnosis, Collection<WoflanState>)
- Constructor for class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanConnection
WoflanDiagnosis
- Class in
org.processmining.plugins.petrinet.behavioralanalysis.woflan
WoflanDiagnosis(Petrinet)
- Constructor for class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanDiagnosis
Public constructor.
WoflanSemantics
- Class in
org.processmining.plugins.petrinet.behavioralanalysis.woflan
WoflanSemantics()
- Constructor for class org.processmining.plugins.petrinet.behavioralanalysis.woflan.
WoflanSemantics
WoflanState
- Enum in
org.processmining.plugins.petrinet.behavioralanalysis.woflan
This holds the current state of the diagnosis.
D
E
G
I
N
O
S
T
V
W
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes