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, WoflanAssumptions) - 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

isSound() - 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

TEXT - Static variable in class org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanHelp

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

WoflanAssumptions - Class in org.processmining.plugins.petrinet.behavioralanalysis.woflan

WoflanAssumptions() - Constructor for class org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanAssumptions

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.

WoflanHelp - Class in org.processmining.plugins.petrinet.behavioralanalysis.woflan

WoflanHelp() - Constructor for class org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanHelp

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