public class RelaxedPT2PetrinetConverter
extends org.processmining.ptconversions.pn.ProcessTree2Petrinet
for original code!
org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException, org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings, org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode
Constructor and Description |
---|
RelaxedPT2PetrinetConverter() |
Modifier and Type | Method and Description |
---|---|
protected static void |
addTransition(org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode unode,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
java.util.Map<org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> mapPath2Transitions,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode> mapTransition2Path) |
static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings |
convert(org.processmining.processtree.ProcessTree tree) |
static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings |
convert(org.processmining.processtree.ProcessTree tree,
boolean keepStructure) |
static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings |
convertKeepStructure(org.processmining.processtree.ProcessTree tree) |
static void |
postProcessMinedTree(org.processmining.processtree.ProcessTree tree)
Removes unnecessary tau transitions from XorLoop Blocks.
|
static void |
prepareForQualityCheck(org.processmining.processtree.ProcessTree bestTree) |
public static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings convert(org.processmining.processtree.ProcessTree tree) throws org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException, org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException
org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException
org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException
public static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings convertKeepStructure(org.processmining.processtree.ProcessTree tree) throws org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException, org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException
org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException
org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException
public static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings convert(org.processmining.processtree.ProcessTree tree, boolean keepStructure) throws org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException, org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException
org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException
org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException
protected static void addTransition(org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode unode, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.util.Map<org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> mapPath2Transitions, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode> mapTransition2Path)
public static void postProcessMinedTree(org.processmining.processtree.ProcessTree tree)
tree
- public static void prepareForQualityCheck(org.processmining.processtree.ProcessTree bestTree)