public class HeuristicAntiAlignmentAlgorithm extends AbstractHeuristicILPReplayer<org.processmining.models.graphbased.directed.petrinet.Petrinet>
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
HAMMINGDISTANCETOLOG |
static java.lang.String |
HAMMINGDISTANCETOREMOVED |
classes, classifier, finalMarking, initialMarking, label2short, log, log2xLog, mapping, maxTraceLength, net, short2label, xLog
Constructor and Description |
---|
HeuristicAntiAlignmentAlgorithm(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog xLog,
org.processmining.plugins.petrinet.replayresult.PNRepResult alignments,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping) |
Modifier and Type | Method and Description |
---|---|
AntiAlignments |
computeAntiAlignments(org.processmining.framework.plugin.Progress progress,
AntiAlignmentParameters parameters) |
AntiAlignments |
computeAntiAlignments(org.processmining.framework.plugin.Progress progress,
int cutOffLength,
double maxFactor,
int backtrackLimit,
double backtrackThreshold) |
AntiAlignmentValues |
computePrecisionAndGeneralization(AntiAlignments aa) |
static int[] |
countNewStatesAndRecoveryDistance(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
java.util.Vector<org.processmining.models.graphbased.directed.petrinet.elements.Transition> firingSequence,
java.util.Map<org.processmining.models.semantics.petrinet.Marking,gnu.trove.set.TShortSet> statesVisitedPerTrace,
short indexToIgnore) |
org.processmining.plugins.petrinet.replayresult.PNRepResult |
getPNRepResult(AntiAlignments aa,
AntiAlignmentValues values,
AntiAlignmentParameters parameters) |
java.util.Map<org.processmining.models.semantics.petrinet.Marking,gnu.trove.set.TShortSet> |
getStatesVisitedPerTrace()
Returns a map from markings to a set of trace indices, such that each
trace in the set has visited this particular state.
|
protected org.processmining.plugins.replayer.replayresult.SyncReplayResult |
getSyncReplayResult(AntiAlignments antiAlignments,
int trace,
int maxLength) |
static void |
printAntiAlignments(java.lang.String model,
AntiAlignments aa,
short[][] log,
int[] frequencies,
int[] newStateCount,
double[] recDistances,
gnu.trove.map.TShortObjectMap<java.lang.String> short2label,
boolean printHeader) |
static java.lang.String |
toString(short[] sequence,
gnu.trove.map.TShortObjectMap<java.lang.String> short2label) |
setUpDataStructures, setUpDataStructures
public static final java.lang.String HAMMINGDISTANCETOLOG
public static final java.lang.String HAMMINGDISTANCETOREMOVED
public HeuristicAntiAlignmentAlgorithm(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, org.deckfour.xes.model.XLog xLog, org.processmining.plugins.petrinet.replayresult.PNRepResult alignments, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)
public AntiAlignments computeAntiAlignments(org.processmining.framework.plugin.Progress progress, AntiAlignmentParameters parameters)
public AntiAlignments computeAntiAlignments(org.processmining.framework.plugin.Progress progress, int cutOffLength, double maxFactor, int backtrackLimit, double backtrackThreshold)
public AntiAlignmentValues computePrecisionAndGeneralization(AntiAlignments aa)
public org.processmining.plugins.petrinet.replayresult.PNRepResult getPNRepResult(AntiAlignments aa, AntiAlignmentValues values, AntiAlignmentParameters parameters)
public static int[] countNewStatesAndRecoveryDistance(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, java.util.Vector<org.processmining.models.graphbased.directed.petrinet.elements.Transition> firingSequence, java.util.Map<org.processmining.models.semantics.petrinet.Marking,gnu.trove.set.TShortSet> statesVisitedPerTrace, short indexToIgnore)
public java.util.Map<org.processmining.models.semantics.petrinet.Marking,gnu.trove.set.TShortSet> getStatesVisitedPerTrace()
net
- initialMarking
- firingSequences
- public static void printAntiAlignments(java.lang.String model, AntiAlignments aa, short[][] log, int[] frequencies, int[] newStateCount, double[] recDistances, gnu.trove.map.TShortObjectMap<java.lang.String> short2label, boolean printHeader)
public static java.lang.String toString(short[] sequence, gnu.trove.map.TShortObjectMap<java.lang.String> short2label)
protected org.processmining.plugins.replayer.replayresult.SyncReplayResult getSyncReplayResult(AntiAlignments antiAlignments, int trace, int maxLength)