public class ProcessTree2Petrinet
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ProcessTree2Petrinet.InvalidProcessTreeException |
static class |
ProcessTree2Petrinet.NotYetImplementedException |
static class |
ProcessTree2Petrinet.PetrinetWithMarkings |
static class |
ProcessTree2Petrinet.UnfoldedNode |
Modifier and Type | Field and Description |
---|---|
static java.util.concurrent.atomic.AtomicInteger |
placeCounter |
static java.util.concurrent.atomic.AtomicInteger |
transitionCounter |
Constructor and Description |
---|
ProcessTree2Petrinet() |
Modifier and Type | Method and Description |
---|---|
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) |
java.lang.Object[] |
convert(org.processmining.framework.plugin.PluginContext context,
org.processmining.processtree.ProcessTree tree) |
static ProcessTree2Petrinet.PetrinetWithMarkings |
convert(org.processmining.processtree.ProcessTree tree) |
static ProcessTree2Petrinet.PetrinetWithMarkings |
convert(org.processmining.processtree.ProcessTree tree,
boolean keepStructure) |
java.lang.Object[] |
convertKeepStructure(org.processmining.framework.plugin.PluginContext context,
org.processmining.processtree.ProcessTree tree) |
static ProcessTree2Petrinet.PetrinetWithMarkings |
convertKeepStructure(org.processmining.processtree.ProcessTree tree) |
protected static void |
debug(java.lang.String x) |
public static java.util.concurrent.atomic.AtomicInteger placeCounter
public static java.util.concurrent.atomic.AtomicInteger transitionCounter
public java.lang.Object[] convert(org.processmining.framework.plugin.PluginContext context, org.processmining.processtree.ProcessTree tree) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
public java.lang.Object[] convertKeepStructure(org.processmining.framework.plugin.PluginContext context, org.processmining.processtree.ProcessTree tree) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
public static ProcessTree2Petrinet.PetrinetWithMarkings convert(org.processmining.processtree.ProcessTree tree) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
public static ProcessTree2Petrinet.PetrinetWithMarkings convertKeepStructure(org.processmining.processtree.ProcessTree tree) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
public static ProcessTree2Petrinet.PetrinetWithMarkings convert(org.processmining.processtree.ProcessTree tree, boolean keepStructure) throws ProcessTree2Petrinet.NotYetImplementedException, ProcessTree2Petrinet.InvalidProcessTreeException
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)
protected static void debug(java.lang.String x)