Uses of Class
org.processmining.converting.wfnet2bpel4ws.Component

Packages that use Component
org.processmining.converting.wfnet2bpel4ws   
 

Uses of Component in org.processmining.converting.wfnet2bpel4ws
 

Methods in org.processmining.converting.wfnet2bpel4ws 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.getMaximalFlow(PetriNet wfnet, 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.converting.wfnet2bpel4ws 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.converting.wfnet2bpel4ws with type arguments of type Component
 void ReductionResult.showReductions(java.util.Vector<Pair<PetriNet,Component>> reductions)