org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express

Class AllPrefixOptAlignmentsGraphGuessMarkingAlg

java.lang.Object

org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.AbstractAllOptAlignmentsAlg<D,T>

org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AbstractAllOptAlignmentsGraphAlg<PDelegate,nl.tue.astar.impl.DijkstraTail>

org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AllPrefixOptAlignmentsGraphAlg

org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AllPrefixOptAlignmentsGraphGuessMarkingAlg

All Implemented Interfaces:

IPNMatchInstancesLogReplayAlgorithm

Direct Known Subclasses:

NBestPrefixAlignmentsGraphGuessMarkingAlg

public class AllPrefixOptAlignmentsGraphGuessMarkingAlg
extends AllPrefixOptAlignmentsGraphAlg

Return all samples of prefix optimal alignments, given a log and a process model

Author:

aadrians Mar 12, 2013

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AbstractAllOptAlignmentsGraphAlg

AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes

Field Summary

Fields inherited from class org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AbstractAllOptAlignmentsGraphAlg

threads

Fields inherited from class org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.AbstractAllOptAlignmentsAlg

classifier, finalMarkings, initMarking, mapEvClass2Cost, mapTrans2Cost, MAPTRANSTOCOST, MAPXEVENTCLASSTOCOST, MAXEXPLOREDINSTANCES, maxNumOfStates, queuedStates, traversedArcs, visitedStates

Constructor Summary

Constructors

Constructor and Description
AllPrefixOptAlignmentsGraphGuessMarkingAlg()

Method Summary

Methods

Modifier and Type	Method and Description
protected int	countOptimalAlignments(nl.tue.astar.Record r, java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapToStatesWSameSuffix) recursive method to count the number of optimal alignments
protected PDelegate	getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, int delta, boolean allMarkingsAreFinal, org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
java.lang.String	getHTMLInfo() HTML explanation of the algorithm
protected AllOptAlignmentsGraphThread<PHead,nl.tue.astar.impl.DijkstraTail>	getThread(nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,nl.tue.astar.impl.DijkstraTail> aStar, PHead initial, nl.tue.astar.Trace trace, int maxNumOfStates) Override this method to change the thread used to compute prefix optimal alignments
protected AllSyncReplayResult	recordToResult(PDelegate d, org.deckfour.xes.model.XTrace trace, nl.tue.astar.Trace filteredTrace, java.util.Collection<PRecord> records, int traceIndex, int states, int queuedStates, boolean isReliable, long milliseconds, java.util.List<java.lang.Object> suffixNodeInstance, java.util.List<StepTypes> suffixStepTypes, AllSyncReplayResult prevResult, java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapToStatesWSameSuffix) Recursive call that investigate the same map
java.lang.String	toString()

Methods inherited from class org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AllPrefixOptAlignmentsGraphAlg

replayLog

Methods inherited from class org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AbstractAllOptAlignmentsGraphAlg

addReplayResults, extractAllHistory

Methods inherited from class org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.AbstractAllOptAlignmentsAlg

compareEventClassList, getLinearTrace, getPartiallyOrderedTrace

Methods inherited from class java.lang.Object

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

Constructor Detail

AllPrefixOptAlignmentsGraphGuessMarkingAlg

public AllPrefixOptAlignmentsGraphGuessMarkingAlg()

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in interface IPNMatchInstancesLogReplayAlgorithm

Overrides:

toString in class AllPrefixOptAlignmentsGraphAlg

getHTMLInfo

public java.lang.String getHTMLInfo()

Description copied from interface: IPNMatchInstancesLogReplayAlgorithm

HTML explanation of the algorithm

Specified by:

getHTMLInfo in interface IPNMatchInstancesLogReplayAlgorithm

Overrides:

getHTMLInfo in class AllPrefixOptAlignmentsGraphAlg

Returns:

getThread

protected AllOptAlignmentsGraphThread<PHead,nl.tue.astar.impl.DijkstraTail> getThread(nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,nl.tue.astar.impl.DijkstraTail> aStar,
                                                                          PHead initial,
                                                                          nl.tue.astar.Trace trace,
                                                                          int maxNumOfStates)
                                                                               throws nl.tue.astar.AStarException

Description copied from class: AllPrefixOptAlignmentsGraphAlg

Override this method to change the thread used to compute prefix optimal alignments

Overrides:

getThread in class AllPrefixOptAlignmentsGraphAlg

Returns:

Throws:

nl.tue.astar.AStarException

recordToResult

protected AllSyncReplayResult recordToResult(PDelegate d,
                                 org.deckfour.xes.model.XTrace trace,
                                 nl.tue.astar.Trace filteredTrace,
                                 java.util.Collection<PRecord> records,
                                 int traceIndex,
                                 int states,
                                 int queuedStates,
                                 boolean isReliable,
                                 long milliseconds,
                                 java.util.List<java.lang.Object> suffixNodeInstance,
                                 java.util.List<StepTypes> suffixStepTypes,
                                 AllSyncReplayResult prevResult,
                                 java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapToStatesWSameSuffix)

Recursive call that investigate the same map

Overrides:

recordToResult in class AbstractAllOptAlignmentsGraphAlg<PDelegate,nl.tue.astar.impl.DijkstraTail>

Parameters:

d -

trace -

filteredTrace -

records -

traceIndex -

states -

queuedStates -

isReliable -

milliseconds -

suffixNodeInstance -

suffixStepTypes -

prevResult -

mapToStatesWSameSuffix -

Returns:

countOptimalAlignments

protected int countOptimalAlignments(nl.tue.astar.Record r,
                         java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapToStatesWSameSuffix)

recursive method to count the number of optimal alignments

Parameters:

r -

mapToStatesWSameSuffix -

Returns:

getDelegate

protected PDelegate getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                    org.deckfour.xes.model.XLog log,
                    org.deckfour.xes.classification.XEventClasses classes,
                    TransEvClassMapping map,
                    java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
                    java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
                    int delta,
                    boolean allMarkingsAreFinal,
                    org.processmining.models.semantics.petrinet.Marking[] finalMarkings)

Overrides:

getDelegate in class AllPrefixOptAlignmentsGraphAlg