public class PetriNetToBPMNConverter
extends java.lang.Object
Constructor and Description |
---|
PetriNetToBPMNConverter() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.models.graphbased.directed.bpmn.BPMNDiagram |
convert(org.processmining.models.graphbased.directed.petrinet.Petrinet net1,
org.processmining.models.semantics.petrinet.Marking initialMarking1,
org.processmining.models.semantics.petrinet.Marking finalMarking1,
boolean clean)
Convert the given Petri net into an EPC.
|
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
convert1(org.processmining.models.graphbased.directed.petrinet.Petrinet net1,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
boolean clean) |
static org.processmining.models.semantics.petrinet.Marking |
guessFinalMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static org.processmining.models.semantics.petrinet.Marking |
guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static boolean |
isXORGateway(org.processmining.models.graphbased.directed.bpmn.BPMNNode node) |
static boolean |
isXORJoin(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram,
org.processmining.models.graphbased.directed.bpmn.elements.Gateway gateway) |
static boolean |
isXORSplit(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram,
org.processmining.models.graphbased.directed.bpmn.elements.Gateway gateway) |
static org.processmining.models.graphbased.directed.bpmn.BPMNDiagram |
visualizeSelfLoops(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram) |
public static org.processmining.models.graphbased.directed.bpmn.BPMNDiagram convert(org.processmining.models.graphbased.directed.petrinet.Petrinet net1, org.processmining.models.semantics.petrinet.Marking initialMarking1, org.processmining.models.semantics.petrinet.Marking finalMarking1, boolean clean)
net1
- PetriNet The given Petri net.public static org.processmining.models.graphbased.directed.petrinet.Petrinet convert1(org.processmining.models.graphbased.directed.petrinet.Petrinet net1, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, boolean clean)
public static org.processmining.models.semantics.petrinet.Marking guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static org.processmining.models.semantics.petrinet.Marking guessFinalMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static org.processmining.models.graphbased.directed.bpmn.BPMNDiagram visualizeSelfLoops(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram)
public static boolean isXORGateway(org.processmining.models.graphbased.directed.bpmn.BPMNNode node)
public static boolean isXORJoin(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram, org.processmining.models.graphbased.directed.bpmn.elements.Gateway gateway)
public static boolean isXORSplit(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram, org.processmining.models.graphbased.directed.bpmn.elements.Gateway gateway)