public class PetriNetToBPMNConverter
extends java.lang.Object
Constructor and Description |
---|
PetriNetToBPMNConverter(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph petriNet,
org.processmining.models.graphbased.directed.petrinet.elements.Place initialPlace,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.bpmn.BPMNDiagram |
convert() |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.bpmn.elements.Flow> |
getPlaceConversionMap() |
java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.bpmn.elements.Activity> |
getTransitionConversionMap() |
public PetriNetToBPMNConverter(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph petriNet, org.processmining.models.graphbased.directed.petrinet.elements.Place initialPlace, org.processmining.models.semantics.petrinet.Marking finalMarking)
public org.processmining.models.graphbased.directed.bpmn.BPMNDiagram convert()
public java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.bpmn.elements.Activity> getTransitionConversionMap()
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.bpmn.elements.Flow> getPlaceConversionMap()