org.processmining.plugins.ilpminer.templates.javailp

Class PetriNetILPModel

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelJavaILP

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

Direct Known Subclasses:

BasicPetriNetILPModel, EmptyAfterCompletionILPModel, FewestArcsILPModel, FreeChoiceILPModel, PetriNetLPModel, PetriNetMaxILPModel, PetriNetVariableFitnessILPModel

public class PetriNetILPModel
extends ILPModelJavaILP

Implements the abstract ILPModel class. Looks for a place for each causal dependency in the log.

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
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
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
PetriNetILPModel(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
protected void	addObjective(net.sf.javailp.Problem p) adds an objective to the problem
protected void	addPlaceConstraints(net.sf.javailp.Problem p)
protected void	addSolution(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) converts the Java-ILP result in a solution (place representation)
protected void	processBasic(org.processmining.framework.plugin.PluginContext context)
protected void	processCausalDependencies(org.processmining.framework.plugin.PluginContext context)
protected void	processInitialPlaces(org.processmining.framework.plugin.PluginContext context)
protected void	processModel(org.processmining.framework.plugin.PluginContext context, net.sf.javailp.SolverFactory factory) Finds the solutions required for this model
protected void	processTransitions(org.processmining.framework.plugin.PluginContext context, 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

strategySettings

protected static PetriNetILPModelSettings strategySettings

searchTypeBox

protected static javax.swing.JComboBox searchTypeBox

trans

public int trans

lang

public int lang

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

PetriNetILPModel

public PetriNetILPModel(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

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(org.processmining.framework.plugin.PluginContext context)

processBasic

protected void processBasic(org.processmining.framework.plugin.PluginContext context)

processTransitions

protected void processTransitions(org.processmining.framework.plugin.PluginContext context,
                                  boolean beforeTrans)

processCausalDependencies

protected void processCausalDependencies(org.processmining.framework.plugin.PluginContext context)

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)

addSolution

protected void addSolution(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)

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)