public class PetriNetDrawUtil
extends java.lang.Object
Constructor and Description |
---|
PetriNetDrawUtil() |
Modifier and Type | Method and Description |
---|---|
static void |
drawconformance(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
ConformanceResult totalResult) |
static void |
drawperformancenet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> Result,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,java.lang.Integer> maparc) |
static java.lang.String |
toHTMLfromMPP(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> Result) |
public static void drawconformance(org.processmining.models.graphbased.directed.petrinet.Petrinet net, ConformanceResult totalResult)
public static void drawperformancenet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> Result, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,java.lang.Integer> maparc)
public static java.lang.String toHTMLfromMPP(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> Result)