public abstract class AbstractBehavAppAlg extends AbstractReplayerBasicFunctionProvider implements IPNReplayAlgorithm, IBehavAppAlg
Modifier and Type | Field and Description |
---|---|
protected org.deckfour.xes.classification.XEventClassifier |
classifier |
protected org.processmining.models.semantics.petrinet.Marking[] |
finalMarkings |
protected org.processmining.models.semantics.petrinet.Marking |
initMarking |
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> |
mapEvClass2Cost |
protected java.lang.Integer |
maxNumStates |
protected java.lang.Double |
sumAvgPrecisionValue |
protected boolean |
useLogWeight |
Constructor and Description |
---|
AbstractBehavAppAlg() |
Modifier and Type | Method and Description |
---|---|
IPNReplayParamProvider |
constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
construct GUI in which the parameter for this algorithm can be obtained
|
protected double |
getDeviationRatio(LogAutomatonNode logAutomatonNode,
java.util.Set<org.deckfour.xes.classification.XEventClass> continuationOfModel,
boolean isLogScaled,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> encActivityWeight)
Deviation ratio
|
protected java.util.Set<org.deckfour.xes.classification.XEventClass> |
getEnabledActAndUpdate(java.lang.Integer newMarkingIndex,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
EncPNWSetFinalMarkings encodedPN,
java.util.Set<java.lang.Integer> encInvisTransitions,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass,
java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass) |
protected java.lang.Integer |
getNextAutomatonIndex(LogAutomatonNode node,
org.deckfour.xes.classification.XEventClass evClass)
Get one of the successors of the node automaton that refer to evClass
|
protected void |
importParameters(BehavAppParam parameters)
Import parameters from given array of objects
|
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: no null; numStates is non
negative; all costs are non negative.
|
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)
Main method to replay log
|
fireTransition, getEnabledActivities, getEnabledTransitions, getListEventClass, getMappingEncTrans2EncEventClass, getMappingEncTrans2EvClass, getMappingEventClass2EncTrans, getTransViolationCosts, identifyEnabledTransitions, isEndOfModel
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getHTMLInfo, toString
replayLoop
protected java.lang.Integer maxNumStates
protected boolean useLogWeight
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost
protected org.deckfour.xes.classification.XEventClassifier classifier
protected org.processmining.models.semantics.petrinet.Marking initMarking
protected org.processmining.models.semantics.petrinet.Marking[] finalMarkings
protected java.lang.Double sumAvgPrecisionValue
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
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
protected void importParameters(BehavAppParam parameters)
parameters
- 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)
replayLog
in interface IPNReplayAlgorithm
public IPNReplayParamProvider constructParamProvider(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping)
IPNReplayAlgorithm
constructParamProvider
in interface IPNReplayAlgorithm
protected java.lang.Integer getNextAutomatonIndex(LogAutomatonNode node, org.deckfour.xes.classification.XEventClass evClass)
node
- evClass
- protected double getDeviationRatio(LogAutomatonNode logAutomatonNode, java.util.Set<org.deckfour.xes.classification.XEventClass> continuationOfModel, boolean isLogScaled, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> encActivityWeight)
logAutomatonNode
- continuationOfModel
- isLogScaled
- encActivityWeight
- protected java.util.Set<org.deckfour.xes.classification.XEventClass> getEnabledActAndUpdate(java.lang.Integer newMarkingIndex, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, EncPNWSetFinalMarkings encodedPN, java.util.Set<java.lang.Integer> encInvisTransitions, java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass, java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass, java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass)