org.processmining.plugins.astar.petrinet

Class PetrinetReplayerWithILP

java.lang.Object

org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PILPTail,PILPDelegate>

org.processmining.plugins.astar.petrinet.PetrinetReplayerWithILP

All Implemented Interfaces:

IPNPartialOrderAwareReplayAlgorithm, IPNReplayAlgorithm

Direct Known Subclasses:

PetrinetReplayerILPRestrictedMoveModel

public class PetrinetReplayerWithILP
extends AbstractPetrinetReplayer<PILPTail,PILPDelegate>

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer

AbstractPetrinetReplayer.Representative, AbstractPetrinetReplayer.Result

Field Summary

Fields inherited from class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer

classifier, finalMarkings, initMarking, mapEvClass2Cost, mapSync2Cost, mapTrans2Cost, maxNumOfStates, queuedStates, traversedArcs, usePartialOrderEvents, visitedStates

Constructor Summary

Constructors

Constructor and Description
PetrinetReplayerWithILP()

Method Summary

Methods

Modifier and Type	Method and Description
protected PILPDelegate	getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, TransEvClassMapping mapping, int delta, int threads)
boolean	isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping, IPNReplayParameter parameter) Return true if all replay inputs are correct
boolean	isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping) Return true if input of replay without parameters are correct
java.lang.String	toString() The name of the algorithm

Methods inherited from class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer

addReplayResults, compareEventClassList, constructHead, constructParamProvider, getHTMLInfo, getLinearTrace, getMinBoundMoveModel, getPartialOrderBuilder, importParameters, isParameterReqCorrect, recordToResult, replayLog, setPartialOrderBuilder

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrinetReplayerWithILP

public PetrinetReplayerWithILP()

Method Detail

isAllReqSatisfied

public boolean isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
                        org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                        org.deckfour.xes.model.XLog log,
                        TransEvClassMapping mapping,
                        IPNReplayParameter parameter)

Return true if all replay inputs are correct

Specified by:

isAllReqSatisfied in interface IPNReplayAlgorithm

Overrides:

isAllReqSatisfied in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>

Returns:

isReqWOParameterSatisfied

public boolean isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
                                org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                org.deckfour.xes.model.XLog log,
                                TransEvClassMapping mapping)

Return true if input of replay without parameters are correct

Specified by:

isReqWOParameterSatisfied in interface IPNReplayAlgorithm

Overrides:

isReqWOParameterSatisfied in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>

Returns:

toString

public java.lang.String toString()

Description copied from interface: IPNReplayAlgorithm

The name of the algorithm

Specified by:

toString in interface IPNReplayAlgorithm

Overrides:

toString in class java.lang.Object

getDelegate

protected PILPDelegate getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                       org.deckfour.xes.model.XLog log,
                       org.deckfour.xes.classification.XEventClasses classes,
                       TransEvClassMapping mapping,
                       int delta,
                       int threads)

Specified by:

getDelegate in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>