|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Component | |
---|---|
org.processmining.exporting.bpel4ws |
Uses of Component in org.processmining.exporting.bpel4ws |
---|
Methods in org.processmining.exporting.bpel4ws that return Component | |
---|---|
static Component |
PatternMatcher.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 |
PatternMatcher.getEindhovenComponent(java.util.TreeSet<PetriNet> components)
|
static Component |
PatternMatcher.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 |
PatternMatcher.getMaximalSequence(PetriNet wfnet)
Finds a maximal sequence in a given WF-net |
static Component |
PatternMatcher.getPick(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a PICK-component in a WF-net |
static Component |
PatternMatcher.getSwitch(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a SWITCH-component in a WF-net |
static Component |
PatternMatcher.getWhile(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a WHILE-component in a WF-net |
Methods in org.processmining.exporting.bpel4ws with parameters of type Component | |
---|---|
static Activity |
BPEL4WSTranslator.translate(Component match,
java.util.Map<java.lang.String,Activity> annotations)
Translate a match into an activity. |
Method parameters in org.processmining.exporting.bpel4ws with type arguments of type Component | |
---|---|
void |
ReductionResult.showReductions(java.util.Vector<Pair<PetriNet,Component>> reductions)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |