org.processmining.generalizedconformance.algorithms.miner

Class PetrinetLSMiner

java.lang.Object

org.processmining.generalizedconformance.algorithms.miner.OptimalMiner<M>

org.processmining.generalizedconformance.algorithms.miner.LocalSearchMiner<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>

org.processmining.generalizedconformance.algorithms.miner.PetrinetLSMiner

public class PetrinetLSMiner
extends LocalSearchMiner<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>

Created by andreas on 3/22/17.

Field Summary

Fields

Modifier and Type	Field and Description
protected org.processmining.plugins.petrinet.replayresult.PNRepResult	currentAlignment

Fields inherited from class org.processmining.generalizedconformance.algorithms.miner.LocalSearchMiner

debug, MAX_ITER, MAX_MOVES_WITHOUT_IMPROVEMENT

Fields inherited from class org.processmining.generalizedconformance.algorithms.miner.OptimalMiner

bestDistance, bestState, classMapping, context, costMap, currentState, eventClasses, function, log, origLog, origModel, traceMapping, trustLog, trustModel

Constructor Summary

Constructors

Constructor and Description
PetrinetLSMiner(DistanceFunction function, org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph model)

Method Summary

Modifier and Type	Method and Description
protected void	computeDistance(SearchState<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> state) Checks the distance between log and original log and model and original model.
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph	getClone(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph model)
protected SearchState<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>	move(Neighborhood<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> neighborhood, SearchState<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> currentState) We assume that the alignment guides us in changing the graph and the log.
protected Neighborhood<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>	recomputeNeighborhood(SearchState<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> state)
protected void	visualizeState(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph model)

Methods inherited from class org.processmining.generalizedconformance.algorithms.miner.LocalSearchMiner

performSearch

Methods inherited from class org.processmining.generalizedconformance.algorithms.miner.OptimalMiner

getBestLog, getBestModel, getEventClasses, getLogDistance, getTraceMapping, searchForBetterLogAndModel, setTrustLevels

Methods inherited from class java.lang.Object

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

Field Detail

currentAlignment

protected org.processmining.plugins.petrinet.replayresult.PNRepResult currentAlignment

Constructor Detail

PetrinetLSMiner

public PetrinetLSMiner(DistanceFunction function,
                       org.processmining.framework.plugin.PluginContext context,
                       org.deckfour.xes.model.XLog log,
                       org.processmining.models.graphbased.directed.petrinet.PetrinetGraph model)

Method Detail

visualizeState

protected void visualizeState(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph model)

Specified by:

visualizeState in class LocalSearchMiner<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>

getClone

protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph getClone(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph model)

Specified by:

getClone in class OptimalMiner<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>

computeDistance

protected void computeDistance(SearchState<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> state)
                        throws DistanceThresholdExceededException

Description copied from class: OptimalMiner

Checks the distance between log and original log and model and original model. The distance is populated in the state itself. Verifies that we are within our trust boundaries and throws an exception otherwise.

Specified by:

computeDistance in class OptimalMiner<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>

Parameters:

state - the state to compute the distance for.

Throws:

DistanceThresholdExceededException - when the distance is too far from the original model or log according to the given trust boundaries

recomputeNeighborhood

protected Neighborhood<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> recomputeNeighborhood(SearchState<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> state)

Specified by:

recomputeNeighborhood in class LocalSearchMiner<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>

move

protected SearchState<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> move(Neighborhood<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> neighborhood,
                                                                                                SearchState<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph> currentState)

Description copied from class: LocalSearchMiner

We assume that the alignment guides us in changing the graph and the log. Needs to make sure that the traceMapping is kept consistent. If we merge a variant into another, we need to reflect that. Also, we remove one move from the neighborhood each time we move. A move can be discarded, if it leads to an infeasible state (outside of trust boundaries).

Specified by:

move in class LocalSearchMiner<org.processmining.models.graphbased.directed.petrinet.PetrinetGraph>

Parameters:

neighborhood - the Neighborhood consisting of possible moves (possibly with weights that reflect their chances to improve the alignment)