org.processmining.plugins.ilpminer.templates.javailp

Class PetriNetLPModel

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelJavaILP

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

org.processmining.plugins.ilpminer.templates.javailp.PetriNetLPModel

public class PetriNetLPModel
extends PetriNetILPModel

Extends the PetriNetILPModel class. Looks for a place without tokens for each causal dependency in the log and a place with one token for each transition.

Author:

T. van der Wiel

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	causalDependencies

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
PetriNetLPModel(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	addVariables(net.sf.javailp.Problem p) defines the variable types and bounds in the problem
protected ILPMinerSolution	makeSolution(net.sf.javailp.Result result) converts the Java-ILP result in a solution (place representation)

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

addConstraints, addObjective, addPlaceConstraints, addSolution, getModel, getSettingsGUI, makeData, processBasic, processCausalDependencies, processInitialPlaces, processModel, 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

causalDependencies

protected boolean causalDependencies

Constructor Detail

PetriNetLPModel

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

Method Detail

addVariables

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

Description copied from class: PetriNetILPModel

defines the variable types and bounds in the problem

Overrides:

addVariables in class PetriNetILPModel

Parameters:

p - - problem

makeSolution

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

Description copied from class: PetriNetILPModel

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

Overrides:

makeSolution in class PetriNetILPModel

Returns:

the converted solution