| Package | Description |
|---|---|
| org.processmining.ptconversions.pn |
| Modifier and Type | Field and Description |
|---|---|
java.util.Map<ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
ProcessTree2Petrinet.PetrinetWithMarkings.mapPath2Transitions |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,ProcessTree2Petrinet.UnfoldedNode> |
ProcessTree2Petrinet.PetrinetWithMarkings.mapTransition2Path |
| Modifier and Type | Method and Description |
|---|---|
ProcessTree2Petrinet.UnfoldedNode |
ProcessTree2Petrinet.UnfoldedNode.getRoot() |
ProcessTree2Petrinet.UnfoldedNode |
ProcessTree2Petrinet.UnfoldedNode.unfoldChild(org.processmining.processtree.Node child) |
| Modifier and Type | Method and Description |
|---|---|
protected static void |
ProcessTree2Petrinet.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) |
| Modifier and Type | Method and Description |
|---|---|
protected static void |
ProcessTree2Petrinet.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 |
ProcessTree2Petrinet.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) |