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