org.processmining.xlu.matching.zexperiment.precision

Class EventToEnabledSets

java.lang.Object

org.processmining.xlu.matching.zexperiment.precision.EventToEnabledSets

public class EventToEnabledSets
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
EventToEnabledSets()

Method Summary

Modifier and Type	Method and Description
static RPDiagnostics	compareEanebledSets(org.deckfour.xes.model.XLog log, MapTrcEnabled system, MapTrcEnabled model)
static MapTrcEnabled	getEventToEnabledSets(org.processmining.plugins.petrinet.replayresult.PNRepResult replayResult, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initM)

Methods inherited from class java.lang.Object

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

Constructor Detail

EventToEnabledSets

public EventToEnabledSets()

Method Detail

getEventToEnabledSets

public static MapTrcEnabled getEventToEnabledSets(org.processmining.plugins.petrinet.replayresult.PNRepResult replayResult,
                                                  org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                  org.processmining.models.semantics.petrinet.Marking initM)

compareEanebledSets

public static RPDiagnostics compareEanebledSets(org.deckfour.xes.model.XLog log,
                                                MapTrcEnabled system,
                                                MapTrcEnabled model)