public class ExpDiscoveryDummyEndUtil
extends java.lang.Object
Constructor and Description |
---|
ExpDiscoveryDummyEndUtil() |
Modifier and Type | Method and Description |
---|---|
static org.deckfour.xes.model.XLog |
addDummyEndEvents(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClassifier classifier) |
static org.processmining.models.semantics.petrinet.Marking |
removeDummyEndTransitionAndReturnFinalMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
public static org.deckfour.xes.model.XLog addDummyEndEvents(org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClassifier classifier)
public static org.processmining.models.semantics.petrinet.Marking removeDummyEndTransitionAndReturnFinalMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net)