org.processmining.plugins.ilpminer.templates.javailp

Class PetriNetSingleLPModel

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelJavaILP

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

org.processmining.plugins.ilpminer.templates.javailp.PetriNetSingleLPModel

public class PetriNetSingleLPModel
extends PetriNetSingleILPModel

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.PetriNetSingleILPModel

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

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

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

Constructor Summary

Constructors

Constructor and Description
PetriNetSingleLPModel(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)

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

addConstraints, addModel, addObjective, addPlaceConstraints, addSolutions, getModel, getSettingsGUI, makeData, makeSolution, 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

PetriNetSingleLPModel

public PetriNetSingleLPModel(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: PetriNetSingleILPModel

defines the variable types and bounds in the problem

Overrides:

addVariables in class PetriNetSingleILPModel

Parameters:

p - - problem

makeSolution

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