public class HeuristicPNetReplayerAlgorithm extends AbstractHeuristicILPReplayer<org.processmining.models.graphbased.directed.petrinet.Petrinet> implements org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
classes, classifier, finalMarking, initialMarking, label2short, log, log2xLog, mapping, maxTraceLength, net, short2label, xLog
Constructor and Description |
---|
HeuristicPNetReplayerAlgorithm() |
Modifier and Type | Method and Description |
---|---|
org.processmining.plugins.petrinet.replayresult.PNRepResultImpl |
computeAlignments(org.processmining.framework.plugin.PluginContext context,
AlignmentILPCalculator calculator,
double minCost,
int cutOffEvent,
int minEvent,
int backtrackLimit,
double backtrackThreshold) |
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParamProvider |
constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)
construct GUI in which the parameter for this algorithm can be obtained
|
java.lang.String |
getHTMLInfo()
HTML explanation of the algorithm
|
protected org.processmining.plugins.replayer.replayresult.SyncReplayResult |
getSyncReplayResult(AlignmentILPCalculator calculator,
gnu.trove.list.TIntList moves,
int xTrace,
double minCostMoveModel,
int time,
boolean reliable) |
protected void |
importParameters(HeuristicParameters parameters) |
boolean |
isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParameter parameter)
Return true if all replay inputs are correct
|
boolean |
isParameterReqCorrect(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParameter parameter)
Return true if all replay inputs are correct: parameter type is correct
and non empty (no null); all transitions are mapped to cost; all event
classes (including dummy event class, i.e.
|
boolean |
isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
org.processmining.plugins.petrinet.replayresult.PNRepResultImpl |
replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog xLog,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParameter parameters)
Replay log assuming GUI exist (progress bars, etc)
|
java.lang.String |
toString()
The name of the algorithm
|
setUpDataStructures, setUpDataStructures
public org.processmining.plugins.petrinet.replayresult.PNRepResultImpl replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog xLog, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParameter parameters) throws nl.tue.astar.AStarException
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
replayLog
in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
nl.tue.astar.AStarException
public org.processmining.plugins.petrinet.replayresult.PNRepResultImpl computeAlignments(org.processmining.framework.plugin.PluginContext context, AlignmentILPCalculator calculator, double minCost, int cutOffEvent, int minEvent, int backtrackLimit, double backtrackThreshold)
protected org.processmining.plugins.replayer.replayresult.SyncReplayResult getSyncReplayResult(AlignmentILPCalculator calculator, gnu.trove.list.TIntList moves, int xTrace, double minCostMoveModel, int time, boolean reliable)
public java.lang.String getHTMLInfo()
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
getHTMLInfo
in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
public org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParamProvider constructParamProvider(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
constructParamProvider
in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
public boolean isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParameter parameter)
isAllReqSatisfied
in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
public boolean isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)
isReqWOParameterSatisfied
in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
public boolean isParameterReqCorrect(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParameter parameter)
public java.lang.String toString()
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
toString
in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
toString
in class java.lang.Object
protected void importParameters(HeuristicParameters parameters)