public class Uma_RepairModel_Loops_Plugin
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Uma_RepairModel_Loops_Plugin.RepairStats |
Modifier and Type | Field and Description |
---|---|
Uma_RepairModel_Loops_Plugin.RepairStats |
_stats |
Constructor and Description |
---|
Uma_RepairModel_Loops_Plugin() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object[] |
alignLogToModel(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.plugins.petrinet.replayresult.PNRepResult result) |
protected static java.lang.Object[] |
cancel(org.processmining.framework.plugin.PluginContext context,
java.lang.String message) |
protected static boolean |
isValidLoopBody(org.processmining.framework.plugin.PluginContext context,
ModelRepair_SubProcess.PetriNetWithMarkings body,
org.deckfour.xes.model.XLog traces,
org.deckfour.xes.classification.XEventClassifier classifier,
double allowedFails) |
java.lang.Object[] |
repairModel(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
java.lang.Object[] |
run_repairModel(org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.processmining.plugins.petrinet.replayresult.PNRepResult result,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
boolean alignAlignments,
boolean updateFinalMarking)
Identify "loop traces" that cannot be replayed on the model, check if
adding a loop-back transition allows to replay the "loop traces", and if
so, add this transition to the model.
|
static org.deckfour.xes.model.XLog |
toXLog(java.util.Collection<java.util.List<ModelRepair_SubProcess.MoveOnLog>> loopHypothesis,
java.lang.String logName) |
public Uma_RepairModel_Loops_Plugin.RepairStats _stats
public java.lang.Object[] repairModel(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
public java.lang.Object[] alignLogToModel(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.plugins.petrinet.replayresult.PNRepResult result)
public java.lang.Object[] run_repairModel(org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, org.processmining.plugins.petrinet.replayresult.PNRepResult result, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, boolean alignAlignments, boolean updateFinalMarking) throws java.io.IOException, hub.top.uma.InvalidModelException
context
- log
- net
- initMarking
- finalMarking
- result
- map
- alignAlignments
- updateFinalMarking
- java.io.IOException
hub.top.uma.InvalidModelException
protected static boolean isValidLoopBody(org.processmining.framework.plugin.PluginContext context, ModelRepair_SubProcess.PetriNetWithMarkings body, org.deckfour.xes.model.XLog traces, org.deckfour.xes.classification.XEventClassifier classifier, double allowedFails)
public static org.deckfour.xes.model.XLog toXLog(java.util.Collection<java.util.List<ModelRepair_SubProcess.MoveOnLog>> loopHypothesis, java.lang.String logName)
simpleLog
- logName
- XLog
representation of the loop hypothesisprotected static java.lang.Object[] cancel(org.processmining.framework.plugin.PluginContext context, java.lang.String message)