|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.framework.models.petrinet.pattern.PatternMatcher
public class PatternMatcher
Title: PatternMatcher
Description: A toolbox for finding different patterns in a Petri net, such as a BPEL Pick, Switch, Sequence, etc.
Copyright: Copyright (c) 2006
Company: University of Aarhus
Constructor Summary | |
---|---|
PatternMatcher()
|
Method Summary | |
---|---|
static LibraryComponent |
getComponentFromLibrary(PetriNet wfnet,
java.lang.String componentPath,
java.lang.String libraryPath,
java.util.Set<PetriNet> components)
Finds a component from a the user defined LIBRARY-components |
static java.util.TreeSet<PetriNet> |
getComponents(PetriNet wfnet)
This method finds all components that exists in the WF-net. |
static java.util.List<ExplicitChoiceComponent> |
getExplicitChoiceComponents(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
|
static java.util.List<ImplicitChoiceComponent> |
getImplicitChoiceComponents(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
|
static java.util.List<MarkedGraphComponent> |
getMarkedGraphComponents(PetriNet wfnet,
java.util.TreeSet<PetriNet> components)
|
static Component |
getMaximalSequence(PetriNet wfnet)
Finds a maximal sequence in a given WF-net |
static att.grappa.Node |
getNode(java.util.Collection<? extends att.grappa.Node> nodes,
att.grappa.Node node)
|
static java.util.List<StateMachineComponent> |
getStateMachineComponents(PetriNet wfnet,
java.util.TreeSet<PetriNet> components)
|
static java.util.List<WellStructuredGraphComponent> |
getWellStructuredGraphComponents(PetriNet wfnet,
java.util.Set<PetriNet> components)
|
static Component |
getWhile(PetriNet wfnet)
Finds a WHILE-component in a WF-net |
static Pair<Transition,java.util.Set<att.grappa.Node>> |
reduce(PetriNet wfnet,
PetriNet component)
|
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 java.util.List<WellStructuredGraphComponent> getWellStructuredGraphComponents(PetriNet wfnet, java.util.Set<PetriNet> components)
public static java.util.List<ExplicitChoiceComponent> getExplicitChoiceComponents(PetriNet wfnet, java.util.Map<java.lang.String,Choice> choices)
public static java.util.List<ImplicitChoiceComponent> getImplicitChoiceComponents(PetriNet wfnet, java.util.Map<java.lang.String,Choice> choices)
public static Component getWhile(PetriNet wfnet)
wfnet
- -
A WF-netchoices
- -
A map over all places in the WF-net to their choice type
public static java.util.TreeSet<PetriNet> getComponents(PetriNet wfnet)
wfnet
- -
The WF-net
public static LibraryComponent getComponentFromLibrary(PetriNet wfnet, java.lang.String componentPath, java.lang.String libraryPath, java.util.Set<PetriNet> components) throws java.io.FileNotFoundException, java.lang.Exception
wfnet
- -
A WF-netlibraryComponent
- -
A library componentcomponents
- -
A set of components
java.lang.Exception
java.io.FileNotFoundException
public static Pair<Transition,java.util.Set<att.grappa.Node>> reduce(PetriNet wfnet, PetriNet component)
public static att.grappa.Node getNode(java.util.Collection<? extends att.grappa.Node> nodes, att.grappa.Node node)
public static java.util.List<StateMachineComponent> getStateMachineComponents(PetriNet wfnet, java.util.TreeSet<PetriNet> components)
public static java.util.List<MarkedGraphComponent> getMarkedGraphComponents(PetriNet wfnet, java.util.TreeSet<PetriNet> components)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |