org.processmining.plugins.astar.petrinet

Class PetrinetReplayerNoILPRestrictedMoveModel

java.lang.Object

org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PNaiveTail,PNaiveDelegate>

org.processmining.plugins.astar.petrinet.PetrinetReplayerWithoutILP

org.processmining.plugins.astar.petrinet.PetrinetReplayerNoILPRestrictedMoveModel

All Implemented Interfaces:

IPNPartialOrderAwareReplayAlgorithm, IPNReplayAlgorithm

public class PetrinetReplayerNoILPRestrictedMoveModel
extends PetrinetReplayerWithoutILP

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

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

getDelegate

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrinetReplayerNoILPRestrictedMoveModel

public PetrinetReplayerNoILPRestrictedMoveModel()

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: AbstractPetrinetReplayer

Return true if all replay inputs are correct

Specified by:

isAllReqSatisfied in interface IPNReplayAlgorithm

Overrides:

isAllReqSatisfied in class AbstractPetrinetReplayer<PNaiveTail,PNaiveDelegate>

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 PetrinetReplayerWithoutILP

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<PNaiveTail,PNaiveDelegate>

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<PNaiveTail,PNaiveDelegate>

Returns: