|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.exporting.bpel4ws.PatternMatcher
public class PatternMatcher
This class implements methods to discover different components in a WF-net.
Constructor Summary | |
---|---|
PatternMatcher()
|
Method Summary | |
---|---|
static java.util.TreeSet<PetriNet> |
findComponents(PetriNet wfnet)
This method finds all components that exists in the WF-net. |
static Component |
getComponentFromLibrary(PetriNet wfnet,
Triple<java.lang.String,PetriNet,Activity> libraryComponent,
java.util.TreeSet<PetriNet> components,
java.util.Map<java.lang.String,Activity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a component from a the user defined LIBRARY-components |
static Component |
getEindhovenComponent(java.util.TreeSet<PetriNet> components)
|
static Component |
getMaximalFlow(PetriNet wfnet,
java.util.TreeSet<PetriNet> components,
java.util.Map<java.lang.String,Activity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a maximal FLOW-component in a Petri net |
static Component |
getMaximalSequence(PetriNet wfnet)
Finds a maximal sequence in a given WF-net |
static Component |
getPick(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a PICK-component in a WF-net |
static Component |
getSwitch(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a SWITCH-component in a WF-net |
static Component |
getWhile(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a WHILE-component in a WF-net |
static boolean |
isSelfContaining(att.grappa.Node source,
att.grappa.Node sink,
java.util.Set<att.grappa.Node> nodes)
Answers if source and sink borders a component with the nodes in it |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PatternMatcher()
Method Detail |
---|
public static Component getMaximalSequence(PetriNet wfnet)
wfnet
- -
The net that is matched in
public static Component getMaximalFlow(PetriNet wfnet, java.util.TreeSet<PetriNet> components, java.util.Map<java.lang.String,Activity> annotations, java.util.Map<java.lang.String,Choice> choices)
wfnet
- choices
-
public static boolean isSelfContaining(att.grappa.Node source, att.grappa.Node sink, java.util.Set<att.grappa.Node> nodes)
source
- -
A nodesink
- -
A sinknodes
- -
A set of nodes
public static Component getSwitch(PetriNet wfnet, java.util.Map<java.lang.String,Choice> choices)
wfnet
- -
A WF-netchoices
- -
A map describing the type of choice each place has
public static Component getPick(PetriNet wfnet, java.util.Map<java.lang.String,Choice> choices)
wfnet
- -
A WF-netchoices
- -
A map over all places in the WF-net to their choice type
public static Component getWhile(PetriNet wfnet, java.util.Map<java.lang.String,Choice> choices)
wfnet
- -
A WF-netchoices
- -
A map over all places in the WF-net to their choice type
public static java.util.TreeSet<PetriNet> findComponents(PetriNet wfnet)
wfnet
- -
The WF-net
public static Component getComponentFromLibrary(PetriNet wfnet, Triple<java.lang.String,PetriNet,Activity> libraryComponent, java.util.TreeSet<PetriNet> components, java.util.Map<java.lang.String,Activity> annotations, java.util.Map<java.lang.String,Choice> choices)
wfnet
- -
A WF-netlibraryComponent
- -
A library componentcomponents
- -
A set of components
public static Component getEindhovenComponent(java.util.TreeSet<PetriNet> components)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |