org.processmining.plugins.astar.petrinet

Class AbstractPetrinetReplayer<T extends nl.tue.astar.Tail,D extends AbstractPDelegate<T>>

java.lang.Object

org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<T,D>

All Implemented Interfaces:

IPNPartialOrderAwareReplayAlgorithm, IPNReplayAlgorithm

Direct Known Subclasses:

PetrinetReplayerSSD, PetrinetReplayerWithILP, PetrinetReplayerWithoutILP, PrefixBasedPetrinetReplayer

public abstract class AbstractPetrinetReplayer<T extends nl.tue.astar.Tail,D extends AbstractPDelegate<T>>
extends java.lang.Object
implements IPNPartialOrderAwareReplayAlgorithm

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractPetrinetReplayer.Representative
static class	AbstractPetrinetReplayer.Result

Field Summary

Fields

Modifier and Type	Field and Description
protected org.deckfour.xes.classification.XEventClassifier	classifier
protected org.processmining.models.semantics.petrinet.Marking[]	finalMarkings
protected org.processmining.models.semantics.petrinet.Marking	initMarking
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer>	mapEvClass2Cost
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer>	mapSync2Cost
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer>	mapTrans2Cost Imported parameters
protected int	maxNumOfStates
protected int	queuedStates
protected int	traversedArcs
protected boolean	usePartialOrderEvents
protected int	visitedStates

Constructor Summary

Constructors

Constructor and Description
AbstractPetrinetReplayer()

Method Summary

Modifier and Type	Method and Description
protected int	addReplayResults(org.processmining.framework.plugin.Progress progress, D delegate, org.deckfour.xes.model.XTrace trace, AbstractPetrinetReplayer.Result r, gnu.trove.list.TIntList unUsedIndices, gnu.trove.map.TIntIntMap trace2orgTrace, gnu.trove.map.TIntObjectMap<AbstractPetrinetReplayer.Representative> doneMap, org.deckfour.xes.model.XLog log, java.util.List<SyncReplayResult> col, int traceIndex, int minCostMoveModel)
protected boolean	compareEventClassList(D d, org.deckfour.xes.model.XTrace t1, org.deckfour.xes.model.XTrace t2)
protected PHead	constructHead(D delegate, org.processmining.models.semantics.petrinet.Marking m, org.deckfour.xes.model.XTrace xtrace)
IPNReplayParamProvider	constructParamProvider(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping) construct GUI in which the parameter for this algorithm can be obtained
protected abstract D	getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, TransEvClassMapping mapping, int delta, int threads)
java.lang.String	getHTMLInfo() HTML explanation of the algorithm
protected nl.tue.astar.util.LinearTrace	getLinearTrace(org.deckfour.xes.model.XLog log, int trace, AbstractPDelegate<?> delegate, gnu.trove.list.TIntList unUsedIndices, gnu.trove.map.TIntIntMap trace2orgTrace) get list of event class.
protected int	getMinBoundMoveModel(IPNReplayParameter parameters, int delta, nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,T> aStar, D delegateD) get cost if an empty trace is replayed on a model
PartialOrderBuilder	getPartialOrderBuilder() Returns the current partial order builder
protected void	importParameters(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, TransEvClassMapping mapping, 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, TransEvClassMapping mapping, 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, TransEvClassMapping mapping) Return true if input of replay without parameters are correct
protected SyncReplayResult	recordToResult(AbstractPDelegate<?> d, org.deckfour.xes.model.XTrace trace, nl.tue.astar.Trace filteredTrace, 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)
PNRepResult	replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping, IPNReplayParameter parameters) Replay log assuming GUI exist (progress bars, etc)
void	setPartialOrderBuilder(PartialOrderBuilder poBuilder) Set the partial order builder for any implementation of the IPN algorithm.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

toString

Field Detail

visitedStates

protected int visitedStates

queuedStates

protected int queuedStates

traversedArcs

protected int traversedArcs

mapTrans2Cost

protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost

Imported parameters

mapEvClass2Cost

protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost

mapSync2Cost

protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost

classifier

protected org.deckfour.xes.classification.XEventClassifier classifier

maxNumOfStates

protected int maxNumOfStates

initMarking

protected org.processmining.models.semantics.petrinet.Marking initMarking

finalMarkings

protected org.processmining.models.semantics.petrinet.Marking[] finalMarkings

usePartialOrderEvents

protected boolean usePartialOrderEvents

Constructor Detail

AbstractPetrinetReplayer

public AbstractPetrinetReplayer()

Method Detail

isAllReqSatisfied

public boolean isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
                                 org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                 org.deckfour.xes.model.XLog log,
                                 TransEvClassMapping mapping,
                                 IPNReplayParameter parameter)

Return true if all replay inputs are correct

Specified by:

isAllReqSatisfied in interface IPNReplayAlgorithm

Returns:

isReqWOParameterSatisfied

public boolean isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
                                         org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                         org.deckfour.xes.model.XLog log,
                                         TransEvClassMapping mapping)

Return true if input of replay without parameters are correct

Specified by:

isReqWOParameterSatisfied in interface IPNReplayAlgorithm

Returns:

isParameterReqCorrect

public boolean isParameterReqCorrect(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                     org.deckfour.xes.model.XLog log,
                                     TransEvClassMapping mapping,
                                     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. an event class that does not exist in log, any transitions that are NOT silent and not mapped to any event class in the log is mapped to it) are mapped to cost; all costs should be non negative; numStates is non negative

importParameters

protected void importParameters(CostBasedCompleteParam parameters)

Assign values of private attributes as given in parameters

Parameters:

parameters -

constructParamProvider

public IPNReplayParamProvider constructParamProvider(org.processmining.framework.plugin.PluginContext context,
                                                     org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                                     org.deckfour.xes.model.XLog log,
                                                     TransEvClassMapping mapping)

construct GUI in which the parameter for this algorithm can be obtained

Specified by:

constructParamProvider in interface IPNReplayAlgorithm

Returns:

recordToResult

protected SyncReplayResult recordToResult(AbstractPDelegate<?> d,
                                          org.deckfour.xes.model.XTrace trace,
                                          nl.tue.astar.Trace filteredTrace,
                                          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)

getLinearTrace

protected nl.tue.astar.util.LinearTrace getLinearTrace(org.deckfour.xes.model.XLog log,
                                                       int trace,
                                                       AbstractPDelegate<?> delegate,
                                                       gnu.trove.list.TIntList unUsedIndices,
                                                       gnu.trove.map.TIntIntMap trace2orgTrace)

get list of event class. Record the indexes of non-mapped event classes.

Parameters:

trace -

unUsedIndices -

trace2orgTrace -

classes -

mapEvClass2Trans -

listMoveOnLog -

Returns:

getHTMLInfo

public java.lang.String getHTMLInfo()

Description copied from interface: IPNReplayAlgorithm

HTML explanation of the algorithm

Specified by:

getHTMLInfo in interface IPNReplayAlgorithm

Returns:

replayLog

public PNRepResult replayLog(org.processmining.framework.plugin.PluginContext context,
                             org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                             org.deckfour.xes.model.XLog log,
                             TransEvClassMapping mapping,
                             IPNReplayParameter parameters)
                      throws nl.tue.astar.AStarException

Description copied from interface: IPNReplayAlgorithm

Replay log assuming GUI exist (progress bars, etc)

Specified by:

replayLog in interface IPNReplayAlgorithm

Returns:

Throws:

nl.tue.astar.AStarException

constructHead

protected PHead constructHead(D delegate,
                              org.processmining.models.semantics.petrinet.Marking m,
                              org.deckfour.xes.model.XTrace xtrace)

getMinBoundMoveModel

protected int getMinBoundMoveModel(IPNReplayParameter parameters,
                                   int delta,
                                   nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,T> aStar,
                                   D delegateD)
                            throws nl.tue.astar.AStarException

get cost if an empty trace is replayed on a model

Parameters:

context -

net -

mapping -

classes -

delta -

threads -

aStar -

delegateD -

Returns:

Throws:

nl.tue.astar.AStarException

getDelegate

protected abstract D getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                 org.deckfour.xes.model.XLog log,
                                 org.deckfour.xes.classification.XEventClasses classes,
                                 TransEvClassMapping mapping,
                                 int delta,
                                 int threads)

addReplayResults

protected int addReplayResults(org.processmining.framework.plugin.Progress progress,
                               D delegate,
                               org.deckfour.xes.model.XTrace trace,
                               AbstractPetrinetReplayer.Result r,
                               gnu.trove.list.TIntList unUsedIndices,
                               gnu.trove.map.TIntIntMap trace2orgTrace,
                               gnu.trove.map.TIntObjectMap<AbstractPetrinetReplayer.Representative> doneMap,
                               org.deckfour.xes.model.XLog log,
                               java.util.List<SyncReplayResult> col,
                               int traceIndex,
                               int minCostMoveModel)

compareEventClassList

protected boolean compareEventClassList(D d,
                                        org.deckfour.xes.model.XTrace t1,
                                        org.deckfour.xes.model.XTrace t2)

setPartialOrderBuilder

public void setPartialOrderBuilder(PartialOrderBuilder poBuilder)

Description copied from interface: IPNPartialOrderAwareReplayAlgorithm

Set the partial order builder for any implementation of the IPN algorithm. By default, this should be the PartialOrderBuilder.DEFAULT, which builds partial orders based on timestamps.

Specified by:

setPartialOrderBuilder in interface IPNPartialOrderAwareReplayAlgorithm

getPartialOrderBuilder

public PartialOrderBuilder getPartialOrderBuilder()

Description copied from interface: IPNPartialOrderAwareReplayAlgorithm

Returns the current partial order builder

Specified by:

getPartialOrderBuilder in interface IPNPartialOrderAwareReplayAlgorithm

Returns: