org.processmining.plugins.astar.petrinet

Class PetrinetReplayerILPRestrictedMoveModel

java.lang.Object

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

org.processmining.plugins.astar.petrinet.PetrinetReplayerWithILP

org.processmining.plugins.astar.petrinet.PetrinetReplayerILPRestrictedMoveModel

All Implemented Interfaces:

IPNPartialOrderAwareReplayAlgorithm, IPNReplayAlgorithm

Direct Known Subclasses:

PetrinetSwapReplayer

public class PetrinetReplayerILPRestrictedMoveModel
extends PetrinetReplayerWithILP

This replay use ILP, and some transitions are not allowed to do move on models

Author:

aadrians Feb 21, 2012

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
PetrinetReplayerILPRestrictedMoveModel()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getHTMLInfo() HTML explanation of the algorithm
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
PNRepResult	replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping, IPNReplayParameter param) Replay log assuming GUI exist (progress bars, etc)
java.lang.String	toString() The name of the algorithm

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

getDelegate, isReqWOParameterSatisfied

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrinetReplayerILPRestrictedMoveModel

public PetrinetReplayerILPRestrictedMoveModel()

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)

Description copied from class: PetrinetReplayerWithILP

Return true if all replay inputs are correct

Specified by:

isAllReqSatisfied in interface IPNReplayAlgorithm

Overrides:

isAllReqSatisfied in class PetrinetReplayerWithILP

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 PetrinetReplayerWithILP

getHTMLInfo

public java.lang.String getHTMLInfo()

Description copied from interface: IPNReplayAlgorithm

HTML explanation of the algorithm

Specified by:

getHTMLInfo in interface IPNReplayAlgorithm

Overrides:

getHTMLInfo in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>

Returns:

replayLog

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

Description copied from interface: IPNReplayAlgorithm

Replay log assuming GUI exist (progress bars, etc)

Specified by:

replayLog in interface IPNReplayAlgorithm

Overrides:

replayLog in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>

Returns: