public class PetrinetReplayerWithAutomata extends org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>
Constructor and Description |
---|
PetrinetReplayerWithAutomata() |
Modifier and Type | Method and Description |
---|---|
protected PAutomataHead |
constructHead(PILPDelegateAutomata delegate,
org.processmining.models.semantics.petrinet.Marking m,
org.deckfour.xes.model.XTrace xtrace) |
MPReplayParameterProvider |
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
|
protected PILPDelegateAutomata |
getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
int delta,
int threads) |
java.lang.String |
getHTMLInfo()
HTML explanation of the algorithm
|
protected void |
importParameters(org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.CostBasedCompleteParam parameters)
Assign values of private attributes as given in 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 |
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
|
protected MPSyncReplayResult |
recordToResult(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
org.processmining.plugins.astar.petrinet.impl.PRecord r,
int traceIndex,
int stateCount,
boolean isReliable,
long milliseconds,
int queuedStates,
int traversedArcs,
int minCostMoveModel,
gnu.trove.list.TIntList unUsedIndices,
gnu.trove.map.TIntIntMap trace2orgTrace) |
java.lang.String |
toString()
The name of the algorithm
|
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
isReqWOParameterSatisfied
in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>
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
isAllReqSatisfied
in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>
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 PILPDelegateAutomata getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, int delta, int threads)
getDelegate
in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>
protected PAutomataHead constructHead(PILPDelegateAutomata delegate, org.processmining.models.semantics.petrinet.Marking m, org.deckfour.xes.model.XTrace xtrace)
constructHead
in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>
protected MPSyncReplayResult recordToResult(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> d, org.deckfour.xes.model.XTrace trace, nl.tue.astar.Trace filteredTrace, org.processmining.plugins.astar.petrinet.impl.PRecord r, int traceIndex, int stateCount, boolean isReliable, long milliseconds, int queuedStates, int traversedArcs, int minCostMoveModel, gnu.trove.list.TIntList unUsedIndices, gnu.trove.map.TIntIntMap trace2orgTrace)
recordToResult
in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>
public java.lang.String getHTMLInfo()
org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
getHTMLInfo
in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
getHTMLInfo
in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>
public MPReplayParameterProvider 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.astar.petrinet.AbstractPetrinetReplayer
constructParamProvider
in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm
constructParamProvider
in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>
protected void importParameters(org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.CostBasedCompleteParam parameters)
org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer
importParameters
in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>