public abstract class AbstractCostBasedCompleteRPSTAlg extends AbstractCostBasedCompleteAlg<CPNCostBasedTreeNodeEncFitnessWHeurCost> implements ICostBasedCompleteRPSTAlg
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapTrans2Cost, maxNumOfStates
Constructor and Description |
---|
AbstractCostBasedCompleteRPSTAlg() |
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)
|
constructParamProvider, createShortListFromTreeNode, importParameters
fireTransition, getEnabledActivities, getEnabledTransitions, getListEventClass, getMappingEncTrans2EncEventClass, getMappingEncTrans2EvClass, getMappingEventClass2EncTrans, getTransViolationCosts, identifyEnabledTransitions, isEndOfModel
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
replayLoop
getHTMLInfo, toString
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)
isAllReqSatisfied
in interface IPNReplayAlgorithm
isAllReqSatisfied
in class AbstractCostBasedCompleteAlg<CPNCostBasedTreeNodeEncFitnessWHeurCost>
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)
isReqWOParameterSatisfied
in interface IPNReplayAlgorithm
isReqWOParameterSatisfied
in class AbstractCostBasedCompleteAlg<CPNCostBasedTreeNodeEncFitnessWHeurCost>
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)
IPNReplayAlgorithm
replayLog
in interface IPNReplayAlgorithm
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)
lstEvtClass
- mapEvClass2EncTrans
- initIndex
- outOfBoundIndex
- costConsultant
- encMarking
- mapInt2Marking
- encodedPN
-