org.processmining.plugins.ilpminer.templates

Class StateMachineWorkflowILPModelExtension

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelExtension

org.processmining.plugins.ilpminer.templates.StateMachineWorkflowILPModelExtension

public class StateMachineWorkflowILPModelExtension
extends ILPModelExtension

Extends the ILPModelExtension class. Looks for a state machine where each transition has at most one input and one ooutput place.

Author:

T. van der Wiel

Constructor Summary

Constructors

Constructor and Description
StateMachineWorkflowILPModelExtension()

Method Summary

Modifier and Type	Method and Description
java.lang.String	addPetriNetCPLEX(ILPModelCPLEX m)
void	addPetriNetLPSOLVE(net.sf.javailp.Problem p, ILPModelJavaILP m)
java.lang.String	addPetriNetSingleCPLEX(ILPModelCPLEX m)

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

getAuthor, getDescription, getExtensionSuperClass, getName, getParentExtensionClass

Methods inherited from class java.lang.Object

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

Constructor Detail

StateMachineWorkflowILPModelExtension

public StateMachineWorkflowILPModelExtension()

Method Detail

addPetriNetLPSOLVE

public void addPetriNetLPSOLVE(net.sf.javailp.Problem p,
                               ILPModelJavaILP m)

addPetriNetCPLEX

public java.lang.String addPetriNetCPLEX(ILPModelCPLEX m)

addPetriNetSingleCPLEX

public java.lang.String addPetriNetSingleCPLEX(ILPModelCPLEX m)