static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn) |
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking) |
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableDisplayMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction) |
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction,
java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object>> attributeMap) |
DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.doConvertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction,
java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object>> attributeMap) |