org.processmining.plugins.ilpminer.templates.javailp

Class PetriNetSingleILPModel

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelJavaILP

org.processmining.plugins.ilpminer.templates.javailp.PetriNetSingleILPModel

Direct Known Subclasses:

FewestArcsSingleILPModel, PetriNetSingleLPModel

public class PetriNetSingleILPModel
extends ILPModelJavaILP

Implements the abstract ILPModel class. Looks for a place for each causal dependency in the log, combined in one ILP problem.

Author:

T. van der Wiel

Field Summary

Fields

Modifier and Type	Field and Description
int[][]	a
int[][]	aPrime
java.util.ArrayList<java.lang.Integer>	cd
int	cdCount
protected boolean	initialPlace
protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass>	initialPlaces
int	lang
protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass>	notInitialPlaces
protected static javax.swing.JComboBox	searchTypeBox
int	slackWeight Should be as low as possible due to problems occuring in the solver when summations go over Integer.MAX_VALUE.
protected static PetriNetILPModelSettings	strategySettings
int	trans

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

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

Constructor Summary

Constructors

Constructor and Description
PetriNetSingleILPModel(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	addConstraints(net.sf.javailp.Problem p) adds the constraints to the problem
void	addModel(net.sf.javailp.Problem p)
protected void	addObjective(net.sf.javailp.Problem p) adds an objective to the problem
protected void	addPlaceConstraints(net.sf.javailp.Problem p)
protected void	addSolutions(net.sf.javailp.Result result) converts the Java-ILP result in a solution (place representation) and adds it to the set of found solutions
protected void	addVariables(net.sf.javailp.Problem p) defines the variable types and bounds in the problem
net.sf.javailp.Problem	getModel() Returns the model instantiated via the Java-ILP interface
static java.lang.Object[]	getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f, java.lang.Class<?> strategy)
void	makeData() Generates the model specific data from the generic data
protected ILPMinerSolution	makeSolution(net.sf.javailp.Result result, int causalDependency) converts the Java-ILP result in a solution (place representation)
protected void	processCausalDependencies(net.sf.javailp.Problem problem)
protected void	processInitialPlaces(net.sf.javailp.Problem problem)
protected void	processModel(org.processmining.framework.plugin.PluginContext context, net.sf.javailp.SolverFactory factory) Finds the solutions required for this model
protected void	processTransitions(net.sf.javailp.Problem problem, boolean beforeTrans)

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

slackWeight

public int slackWeight

Should be as low as possible due to problems occuring in the solver when summations go over Integer.MAX_VALUE. Lower bound is: max trace length * number of transitions

strategySettings

protected static PetriNetILPModelSettings strategySettings

searchTypeBox

protected static javax.swing.JComboBox searchTypeBox

trans

public int trans

lang

public int lang

cdCount

public int cdCount

a

public int[][] a

aPrime

public int[][] aPrime

cd

public java.util.ArrayList<java.lang.Integer> cd

initialPlaces

protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass> initialPlaces

notInitialPlaces

protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass> notInitialPlaces

initialPlace

protected boolean initialPlace

Constructor Detail

PetriNetSingleILPModel

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

Method Detail

getModel

public net.sf.javailp.Problem getModel()

Description copied from class: ILPModelJavaILP

Returns the model instantiated via the Java-ILP interface

Specified by:

getModel in class ILPModelJavaILP

Returns:

problem

addModel

public void addModel(net.sf.javailp.Problem p)

makeData

public void makeData()

Description copied from class: ILPModelJavaILP

Generates the model specific data from the generic data

Specified by:

makeData in class ILPModelJavaILP

processModel

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

Description copied from class: ILPModelJavaILP

Finds the solutions required for this model

Specified by:

processModel in class ILPModelJavaILP

processInitialPlaces

protected void processInitialPlaces(net.sf.javailp.Problem problem)

processTransitions

protected void processTransitions(net.sf.javailp.Problem problem,
                                  boolean beforeTrans)

processCausalDependencies

protected void processCausalDependencies(net.sf.javailp.Problem problem)

addVariables

protected void addVariables(net.sf.javailp.Problem p)

defines the variable types and bounds in the problem

Parameters:

p - - problem

addObjective

protected void addObjective(net.sf.javailp.Problem p)

adds an objective to the problem

Parameters:

p - - problem

addConstraints

protected void addConstraints(net.sf.javailp.Problem p)

adds the constraints to the problem

Parameters:

p - - problem

addPlaceConstraints

protected void addPlaceConstraints(net.sf.javailp.Problem p)

addSolutions

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

converts the Java-ILP result in a solution (place representation) and adds it to the set of found solutions

Parameters:

result -

makeSolution

protected ILPMinerSolution makeSolution(net.sf.javailp.Result result,
                                        int causalDependency)

converts the Java-ILP result in a solution (place representation)

Parameters:

result -

Returns:

the converted solution

getSettingsGUI

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