Package | Description |
---|---|
org.processmining.plugins.petrinet.replay.performance | |
org.processmining.plugins.petrinet.replay.util |
Modifier and Type | Method and Description |
---|---|
PerformanceData |
TotalPerformanceResult.getTotal() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> |
PerformanceResult.getList() |
Modifier and Type | Method and Description |
---|---|
void |
TotalPerformanceResult.setTotal(PerformanceData total) |
Modifier and Type | Method and Description |
---|---|
void |
PerformanceResult.setList(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> list) |
Modifier and Type | Method and Description |
---|---|
static void |
PetriNetDrawUtil.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 |
PetriNetDrawUtil.toHTMLfromMPP(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> Result) |