org.processmining.plugins.petrinet.replay.util

Class PetriNetDrawUtil

java.lang.Object

org.processmining.plugins.petrinet.replay.util.PetriNetDrawUtil

public class PetriNetDrawUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PetriNetDrawUtil()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PetriNetDrawUtil

public PetriNetDrawUtil()

Method Detail

drawconformance

public static void drawconformance(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                   ConformanceResult totalResult)

drawperformancenet

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)

toHTMLfromMPP

public static java.lang.String toHTMLfromMPP(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> Result)