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

Class AllOptAlignmentsGraphILPAlg

java.lang.Object

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

org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AbstractAllOptAlignmentsGraphAlg<PILPDelegate,PILPTail>

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

All Implemented Interfaces:

IPNMatchInstancesLogReplayAlgorithm

public class AllOptAlignmentsGraphILPAlg
extends AbstractAllOptAlignmentsGraphAlg<PILPDelegate,PILPTail>

Author:

aadrians Mar 1, 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
AllOptAlignmentsGraphILPAlg()

Method Summary

Methods

Modifier and Type	Method and Description
protected PILPDelegate	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, org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
java.lang.String	getHTMLInfo() HTML explanation of the algorithm
protected AllOptAlignmentsGraphThread<PHead,PILPTail>	getThread(nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,PILPTail> aStar, PHead initial, nl.tue.astar.Trace trace, int maxNumOfStates) Override this method to change the thread used to compute optimal alignments
PNMatchInstancesRepResult	replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping, java.lang.Object[] parameters) Method to replay a whole log on a model and return all best matching instance between each trace and the model Assumption: all markings are given, no need to check for connection to the original net
java.lang.String	toString()

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

addReplayResults, extractAllHistory, recordToResult

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

AllOptAlignmentsGraphILPAlg

public AllOptAlignmentsGraphILPAlg()

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in interface IPNMatchInstancesLogReplayAlgorithm

Overrides:

toString in class java.lang.Object

getHTMLInfo

public java.lang.String getHTMLInfo()

Description copied from interface: IPNMatchInstancesLogReplayAlgorithm

HTML explanation of the algorithm

Returns:

replayLog

public PNMatchInstancesRepResult replayLog(org.processmining.framework.plugin.PluginContext context,
                                  org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                  org.processmining.models.semantics.petrinet.Marking initMarking,
                                  org.processmining.models.semantics.petrinet.Marking finalMarking,
                                  org.deckfour.xes.model.XLog log,
                                  TransEvClassMapping mapping,
                                  java.lang.Object[] parameters)
                                    throws nl.tue.astar.AStarException

Description copied from interface: IPNMatchInstancesLogReplayAlgorithm

Method to replay a whole log on a model and return all best matching instance between each trace and the model Assumption: all markings are given, no need to check for connection to the original net

Returns:

Throws:

nl.tue.astar.AStarException

getThread

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

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

Parameters:

aStar -

initial -

trace -

maxNumOfStates -

Returns:

Throws:

nl.tue.astar.AStarException

getDelegate

protected PILPDelegate 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,
                       org.processmining.models.semantics.petrinet.Marking[] finalMarkings)