org.processmining.plugins.ilpminer.templates.javailp

Class BasicPetriNetILPModel

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelJavaILP

org.processmining.plugins.ilpminer.templates.javailp.PetriNetILPModel

org.processmining.plugins.ilpminer.templates.javailp.BasicPetriNetILPModel

public class BasicPetriNetILPModel
extends PetriNetILPModel

Field Summary

Fields

Modifier and Type	Field and Description
protected static int	algorithmToUse
protected java.util.ArrayList<net.sf.javailp.Constraint>	constraints
protected static boolean	generateFreeChoice
protected static boolean	generateWorkflow
protected static int	maxPlaces

Fields inherited from class org.processmining.plugins.ilpminer.templates.javailp.PetriNetILPModel

a, aPrime, cd, initialPlace, initialPlaces, lang, notInitialPlaces, searchTypeBox, strategySettings, trans

Fields inherited from class org.processmining.plugins.ilpminer.ILPModelJavaILP

extensions, factory, l, m, r, solutions, solverSettings

Constructor Summary

Constructors

Constructor and Description
BasicPetriNetILPModel(java.lang.Class[] extensions, java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings, ILPModelSettings settings)

Method Summary

Modifier and Type	Method and Description
protected void	addCausalDependencyConstraint(net.sf.javailp.Problem problem, org.processmining.framework.util.Pair<org.deckfour.xes.classification.XEventClass,org.deckfour.xes.classification.XEventClass> cd) Adds the constraints of the given causal dependency to the problem
protected net.sf.javailp.Constraint	addConstraintForMinimalOneArc()
protected void	addConstraintForSolution(net.sf.javailp.Result result) Adds the following constraint to problem p, where result = (x_i,y_i,c_i).
protected void	addInitialPlace(net.sf.javailp.SolverFactory factory) This function adds the initial place.
protected java.util.ArrayList<ILPMinerSolution>	addNewSolution(ILPMinerSolution sol) Adds a solution to the list of solutions.
protected java.util.ArrayList<ILPMinerSolution>	addNewSolution(net.sf.javailp.Result result) Adds a new solution to the list of solutions.
void	clearAdditionalConstraints()
net.sf.javailp.Problem	getModel() This function gets the old model, and adds all extra constraints set by this miner.
static java.lang.Object[]	getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f, java.lang.Class strategy)
protected ILPMinerSolution	makeSolution(net.sf.javailp.Result result) Creates a solution from any result.
protected void	processModel(org.processmining.framework.plugin.PluginContext context, net.sf.javailp.SolverFactory factory) This function implements the basic algorithm as described in the paper J.M.E.M.
protected void	runCausalDepenciesAlgorithm(org.processmining.framework.plugin.PluginContext context, net.sf.javailp.SolverFactory factory) This method is the main function for the generation of a Petri net using the causal dependencies in the log.
protected void	runIndependentPlacesAlgorithm(org.processmining.framework.plugin.PluginContext context, net.sf.javailp.SolverFactory factory) Basic algorithm, generates a set of independent places.
protected static void	setAlgorithmToUse(java.lang.String algo)
protected void	setFreeChoiceProperty()
protected java.util.ArrayList<ILPMinerSolution>	solutionsNotAllowedWithThisOne(ILPMinerSolution sol) This function checks whether a solution is allowed or not.

Methods inherited from class org.processmining.plugins.ilpminer.templates.javailp.PetriNetILPModel

addConstraints, addObjective, addPlaceConstraints, addSolution, addVariables, getSettingsGUI, makeData, processBasic, processCausalDependencies, processInitialPlaces, processTransitions

Methods inherited from class org.processmining.plugins.ilpminer.ILPModelJavaILP

addExtensionConstraints, findPetriNetPlaces, getAuthor, getDescription, getName, getSolutions, loadLibraries, solve

Methods inherited from class java.lang.Object

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

Field Detail

constraints

protected java.util.ArrayList<net.sf.javailp.Constraint> constraints

generateWorkflow

protected static boolean generateWorkflow

maxPlaces

protected static int maxPlaces

generateFreeChoice

protected static boolean generateFreeChoice

algorithmToUse

protected static int algorithmToUse

Constructor Detail

BasicPetriNetILPModel

public BasicPetriNetILPModel(java.lang.Class[] extensions,
                             java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
                             ILPModelSettings settings)

Method Detail

getModel

public net.sf.javailp.Problem getModel()

This function gets the old model, and adds all extra constraints set by this miner.

Overrides:

getModel in class PetriNetILPModel

Returns:

problem

clearAdditionalConstraints

public void clearAdditionalConstraints()

addConstraintForMinimalOneArc

protected net.sf.javailp.Constraint addConstraintForMinimalOneArc()

processModel

protected void processModel(org.processmining.framework.plugin.PluginContext context,
                            net.sf.javailp.SolverFactory factory)

This function implements the basic algorithm as described in the paper J.M.E.M. van der Werf, B.F. van Dongen, C.A.J. Hurkens and A. Serebrenik, "Process Discovery Using Integer Linear Programming" Fundamenta Informatica 94 (3-4) pp 387-412, 2009 The algorithm constructs a basic ILP problem. For each solution found, an extra constraint is added to the ILP. The algorithm stops after the ILP became infeasable or if there are |T|^2 places found, where T is the number of transitions.

Overrides:

processModel in class PetriNetILPModel

setFreeChoiceProperty

protected void setFreeChoiceProperty()

solutionsNotAllowedWithThisOne

protected java.util.ArrayList<ILPMinerSolution> solutionsNotAllowedWithThisOne(ILPMinerSolution sol)

This function checks whether a solution is allowed or not. If the free choice option is checked, not all solutions are allowed. Solutions that share an element in the output set, but do not have an identical output set are put in the "to be removed" solution list. This "to be removed" list is then returned.

Parameters:

sol -

Returns:

the solutions not allowed for this solution

makeSolution

protected ILPMinerSolution makeSolution(net.sf.javailp.Result result)

Creates a solution from any result. If result is null, null is returned.

Overrides:

makeSolution in class PetriNetILPModel

Parameters:

result -

Returns:

the converted solution

addNewSolution

protected java.util.ArrayList<ILPMinerSolution> addNewSolution(net.sf.javailp.Result result)

Adds a new solution to the list of solutions.

Parameters:

result -

Returns:

See Also:

BasicPetriNetILPModelTEMP.addNewSolution

addNewSolution

protected java.util.ArrayList<ILPMinerSolution> addNewSolution(ILPMinerSolution sol)

Adds a solution to the list of solutions. If the free choice property is set, the solutions not allowed by the given solution are removed. The set of removed solutions is returned.

Parameters:

sol -

Returns:

addInitialPlace

protected void addInitialPlace(net.sf.javailp.SolverFactory factory)

This function adds the initial place. It searches for a single place that is marked, and has as many output arcs as possible. It then sets the constraint for c to be 0 for all other solutions.

runCausalDepenciesAlgorithm

protected void runCausalDepenciesAlgorithm(org.processmining.framework.plugin.PluginContext context,
                                           net.sf.javailp.SolverFactory factory)

This method is the main function for the generation of a Petri net using the causal dependencies in the log. It places all causal dependencies in a stack, and tries to find a solution for each causal dependency. In case a solution is removed, the causal dependency belonging to it is again added to the stack.

addCausalDependencyConstraint

protected void addCausalDependencyConstraint(net.sf.javailp.Problem problem,
                                             org.processmining.framework.util.Pair<org.deckfour.xes.classification.XEventClass,org.deckfour.xes.classification.XEventClass> cd)

Adds the constraints of the given causal dependency to the problem

Parameters:

problem -

cd -

runIndependentPlacesAlgorithm

protected void runIndependentPlacesAlgorithm(org.processmining.framework.plugin.PluginContext context,
                                             net.sf.javailp.SolverFactory factory)

Basic algorithm, generates a set of independent places.

addConstraintForSolution

protected void addConstraintForSolution(net.sf.javailp.Result result)

Adds the following constraint to problem p, where result = (x_i,y_i,c_i). -c_i \cdot c + y\trans \cdot ( 1 - y_i ) - x\trans x_i \geq -c_i + 1 - 1\trans\cdot x_i

Parameters:

result -

setAlgorithmToUse

protected static void setAlgorithmToUse(java.lang.String algo)

getSettingsGUI

public static java.lang.Object[] getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f,
                                                java.lang.Class strategy)