Package org.processmining.lpm.util
Class ProcessTree2Petrinet
- java.lang.Object
-
- org.processmining.lpm.util.ProcessTree2Petrinet
-
public class ProcessTree2Petrinet extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classProcessTree2Petrinet.InvalidProcessTreeExceptionstatic classProcessTree2Petrinet.NotYetImplementedExceptionstatic classProcessTree2Petrinet.PetrinetWithMarkingsstatic classProcessTree2Petrinet.UnfoldedNode
-
Field Summary
Fields Modifier and Type Field Description static java.util.concurrent.atomic.AtomicIntegerplaceCounterstatic java.util.concurrent.atomic.AtomicIntegertransitionCounter
-
Constructor Summary
Constructors Constructor Description ProcessTree2Petrinet()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description protected static voidaddTransition(ProcessTree2Petrinet.UnfoldedNode unode, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.util.Map<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,ProcessTree2Petrinet.UnfoldedNode> mapTransition2Path)java.lang.Object[]convert(org.processmining.framework.plugin.PluginContext context, org.processmining.processtree.ProcessTree tree)static ProcessTree2Petrinet.PetrinetWithMarkingsconvert(org.processmining.processtree.ProcessTree tree)static ProcessTree2Petrinet.PetrinetWithMarkingsconvert(org.processmining.processtree.ProcessTree tree, boolean keepStructure)java.lang.Object[]convertKeepStructure(org.processmining.framework.plugin.PluginContext context, org.processmining.processtree.ProcessTree tree)static ProcessTree2Petrinet.PetrinetWithMarkingsconvertKeepStructure(org.processmining.processtree.ProcessTree tree)protected static voiddebug(java.lang.String x)
-
-
-
Method Detail
-
convert
public java.lang.Object[] convert(org.processmining.framework.plugin.PluginContext context, org.processmining.processtree.ProcessTree tree) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
-
convertKeepStructure
public java.lang.Object[] convertKeepStructure(org.processmining.framework.plugin.PluginContext context, org.processmining.processtree.ProcessTree tree) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
-
convert
public static ProcessTree2Petrinet.PetrinetWithMarkings convert(org.processmining.processtree.ProcessTree tree) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
-
convertKeepStructure
public static ProcessTree2Petrinet.PetrinetWithMarkings convertKeepStructure(org.processmining.processtree.ProcessTree tree) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
-
convert
public static ProcessTree2Petrinet.PetrinetWithMarkings convert(org.processmining.processtree.ProcessTree tree, boolean keepStructure) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
-
addTransition
protected static void addTransition(ProcessTree2Petrinet.UnfoldedNode unode, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.util.Map<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,ProcessTree2Petrinet.UnfoldedNode> mapTransition2Path)
-
debug
protected static void debug(java.lang.String x)
-
-