org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete

Class AbstractCostBasedCompleteRPSTAlg

java.lang.Object

org.processmining.plugins.petrinet.replayer.algorithms.AbstractReplayerBasicFunctionProvider

org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.AbstractCostBasedCompleteAlg<CPNCostBasedTreeNodeEncFitnessWHeurCost>

org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.AbstractCostBasedCompleteRPSTAlg

All Implemented Interfaces:

ICostBasedCompleteRPSTAlg, IPNReplayAlgorithm

Direct Known Subclasses:

CostBasedCompleteRPST, CostBasedCompleteRPSTPrune

public abstract class AbstractCostBasedCompleteRPSTAlg
extends AbstractCostBasedCompleteAlg<CPNCostBasedTreeNodeEncFitnessWHeurCost>
implements ICostBasedCompleteRPSTAlg

Author:

aadrians Oct 24, 2011

Field Summary

Fields inherited from class org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.AbstractCostBasedCompleteAlg

classifier, finalMarkings, initMarking, mapEvClass2Cost, mapTrans2Cost, maxNumOfStates

Constructor Summary

Constructors

Constructor and Description
AbstractCostBasedCompleteRPSTAlg()

Method Summary

Methods

Modifier and Type	Method and Description
protected int	estimateCost(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass, java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans, int initIndex, int outOfBoundIndex, RPSTConsultant costConsultant, java.lang.Integer encMarking, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, EncPNWSetFinalMarkings encodedPN, java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass) Give a lower bound of cost, given this marking
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: net should be Petrinet (marking equation does not work on reset/inhibitor nets);
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
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 parameters) Replay log assuming GUI exist (progress bars, etc)

Methods inherited from class org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.AbstractCostBasedCompleteAlg

constructParamProvider, createShortListFromTreeNode, importParameters

Methods inherited from class org.processmining.plugins.petrinet.replayer.algorithms.AbstractReplayerBasicFunctionProvider

fireTransition, getEnabledActivities, getEnabledTransitions, getListEventClass, getMappingEncTrans2EncEventClass, getMappingEncTrans2EvClass, getMappingEventClass2EncTrans, getTransViolationCosts, identifyEnabledTransitions, isEndOfModel

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.ICostBasedCompleteRPSTAlg

replayLoop

Methods inherited from interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

getHTMLInfo, toString

Constructor Detail

AbstractCostBasedCompleteRPSTAlg

public AbstractCostBasedCompleteRPSTAlg()

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: net should be Petrinet (marking equation does not work on reset/inhibitor nets);

Specified by:

isAllReqSatisfied in interface IPNReplayAlgorithm

Overrides:

isAllReqSatisfied in class AbstractCostBasedCompleteAlg<CPNCostBasedTreeNodeEncFitnessWHeurCost>

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 AbstractCostBasedCompleteAlg<CPNCostBasedTreeNodeEncFitnessWHeurCost>

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 parameters)

Description copied from interface: IPNReplayAlgorithm

Replay log assuming GUI exist (progress bars, etc)

Specified by:

replayLog in interface IPNReplayAlgorithm

Returns:

estimateCost

protected int estimateCost(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
               java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans,
               int initIndex,
               int outOfBoundIndex,
               RPSTConsultant costConsultant,
               java.lang.Integer encMarking,
               java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
               EncPNWSetFinalMarkings encodedPN,
               java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)

Give a lower bound of cost, given this marking

Parameters:

lstEvtClass -

mapEvClass2EncTrans -

initIndex -

outOfBoundIndex -

costConsultant -

encMarking -

mapInt2Marking -

encodedPN -

Returns: