public class BPMN2PetriNetConverter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected org.processmining.models.graphbased.directed.bpmn.BPMNDiagram |
bpmn |
protected BPMN2PetriNetConverter_Configuration |
config |
protected java.util.List<java.lang.String> |
errors |
protected java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
finalPlace |
protected org.processmining.models.semantics.petrinet.Marking |
m |
protected org.processmining.models.graphbased.directed.petrinet.Petrinet |
net |
protected java.util.List<java.lang.String> |
warnings |
Constructor and Description |
---|
BPMN2PetriNetConverter(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram bpmn) |
BPMN2PetriNetConverter(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram bpmn,
BPMN2PetriNetConverter_Configuration config) |
Modifier and Type | Method and Description |
---|---|
boolean |
convert() |
java.util.List<java.lang.String> |
getErrors() |
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getFinalPlaces() |
java.util.Map<org.processmining.models.graphbased.directed.bpmn.BPMNEdge<org.processmining.models.graphbased.directed.bpmn.BPMNNode,org.processmining.models.graphbased.directed.bpmn.BPMNNode>,org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getFlowMap() |
org.processmining.models.semantics.petrinet.Marking |
getMarking() |
java.util.Map<org.processmining.models.graphbased.directed.bpmn.BPMNNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
getNodeMap() |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getPetriNet() |
java.util.List<java.lang.String> |
getWarnings() |
protected org.processmining.models.graphbased.directed.bpmn.BPMNDiagram bpmn
protected org.processmining.models.graphbased.directed.petrinet.Petrinet net
protected org.processmining.models.semantics.petrinet.Marking m
protected java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> finalPlace
protected java.util.List<java.lang.String> warnings
protected java.util.List<java.lang.String> errors
protected BPMN2PetriNetConverter_Configuration config
public BPMN2PetriNetConverter(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram bpmn, BPMN2PetriNetConverter_Configuration config)
public BPMN2PetriNetConverter(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram bpmn)
public boolean convert()
public org.processmining.models.graphbased.directed.petrinet.Petrinet getPetriNet()
public org.processmining.models.semantics.petrinet.Marking getMarking()
public java.util.List<java.lang.String> getWarnings()
public java.util.List<java.lang.String> getErrors()
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> getFinalPlaces()
public java.util.Map<org.processmining.models.graphbased.directed.bpmn.BPMNNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> getNodeMap()
public java.util.Map<org.processmining.models.graphbased.directed.bpmn.BPMNEdge<org.processmining.models.graphbased.directed.bpmn.BPMNNode,org.processmining.models.graphbased.directed.bpmn.BPMNNode>,org.processmining.models.graphbased.directed.petrinet.elements.Place> getFlowMap()