public class PrefixAutomaton
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
PrefixAutomaton.IndetMark
Inner class containing Task, and the marking reached after firing them
|
class |
PrefixAutomaton.MarksTasks
Inner class containing Task, and the marking reached after firing them
|
Constructor and Description |
---|
PrefixAutomaton(org.deckfour.xes.model.XLog log,
ETCResults res,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)
Constructor of a prefix automaton of the given log.
|
Modifier and Type | Method and Description |
---|---|
void |
computeConfidence(ETCResults res)
Compute the Confidence Interval of the ETCP metric.
|
PrefixAutomaton.MarksTasks |
computeEnableTasks(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
org.processmining.models.semantics.petrinet.PetrinetSemantics sem,
ETCResults res)
Compute the available tasks for the given marking according to the model.
|
void |
computeMetrics(ETCResults res)
Compute the metrics over the extended prefix automaton.
|
void |
computeSeverity(ETCResults res,
org.deckfour.xes.model.XTrace trace,
PrefixAutomatonNode imp)
Compute and set the severity of an imprecision.
|
org.deckfour.xes.model.XLog |
createMDT(ETCResults res)
Build the Minimal Disconformant Traces log for the given extended automaton.
|
void |
createMDTTraceRec(PrefixAutomatonNode node,
org.deckfour.xes.model.XTrace trace)
Recursive function to fill the trace with the path from the root to the
given node.
|
void |
detectEscaping(ETCResults res)
Set and compute the escaping states of an extended prefix automaton.
|
void |
detectEscapingRec(PrefixAutomatonNode parent,
ETCResults res)
Set and compute the escaping states of the subtree rooted by the given node.
|
void |
enrich(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking iniMark,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
ETCResults res)
Enrich/Extend the Prefix Automaton with the behavior of the model (a Petrinet).
|
void |
enrichRec(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
PrefixAutomatonNode node,
org.processmining.models.semantics.petrinet.PetrinetSemantics sem,
ETCResults res)
Enrich/Extend the subtree from the given node with the behavior of the model.
|
edu.uci.ics.jung.graph.DelegateTree<PrefixAutomatonNode,PrefixAutomatonEdge> |
getTree() |
void |
setNonDetSubtree(PrefixAutomatonNode node,
ETCResults res)
Set all the subtree of the node as NON_DET nodes
|
void |
setNonFitSubtree(PrefixAutomatonNode node,
ETCResults res)
Set all the subtree of the node as NON_FIT nodes
|
void |
setOutSubtree(PrefixAutomatonNode node,
ETCResults res)
Set all the subtree of the node as OUT nodes
|
public PrefixAutomaton(org.deckfour.xes.model.XLog log, ETCResults res, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)
log
- Log used to construct the prefix automaton.mapping
- public void enrich(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking iniMark, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, ETCResults res) throws java.lang.Exception
net
- The model used to enrich the automaton.iniMark
- Initial marking of the Petrinet.mapping
- Connection with the relation between transitions in the
Petrinet and events in the log.org.processmining.models.semantics.IllegalTransitionException
java.lang.Exception
public void enrichRec(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, PrefixAutomatonNode node, org.processmining.models.semantics.petrinet.PetrinetSemantics sem, ETCResults res) throws java.lang.Exception
net
- Model (Petri Net).marking
- Petri net marking corresponding with the node.mapping
- Conection between Petri net transitions an Log events.node
- Node root of the subtree to enrich/extend.sem
- Semantincs of a Petri net to obtain the enable transitions.java.lang.Exception
public void setNonFitSubtree(PrefixAutomatonNode node, ETCResults res)
node
- Initial node of the subtree that falls in the NON fitting part.public void setNonDetSubtree(PrefixAutomatonNode node, ETCResults res)
node
- Initial node of the subtree that falls in the NON deterministic part.public PrefixAutomaton.MarksTasks computeEnableTasks(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, org.processmining.models.semantics.petrinet.PetrinetSemantics sem, ETCResults res) throws java.lang.Exception
net
- Model.marking
- Marking.mapping
- Connection between log events and Petri net transitions.sem
- Petri net semantics to compute the available transitions.java.lang.Exception
public void detectEscaping(ETCResults res)
res
- Result object to store some statistical information.public void detectEscapingRec(PrefixAutomatonNode parent, ETCResults res)
parent
- Root of the subtree to be analyzed.res
- Result object to store some statistical information.public void setOutSubtree(PrefixAutomatonNode node, ETCResults res)
node
- Initial node of the subtree that falls OUTpublic void computeMetrics(ETCResults res)
res
- Result object to store the results.public void computeConfidence(ETCResults res) throws java.io.IOException
res
- Result object to store the results.java.io.IOException
public org.deckfour.xes.model.XLog createMDT(ETCResults res)
res
- Result object to store the results.public void createMDTTraceRec(PrefixAutomatonNode node, org.deckfour.xes.model.XTrace trace)
node
- End node of the trace path.trace
- Trace to add the events according to the path.public void computeSeverity(ETCResults res, org.deckfour.xes.model.XTrace trace, PrefixAutomatonNode imp)
res
- Results object with statistical information.trace
- Trace leading to the imprecision.imp
- Imprecision to be analyzed.public edu.uci.ics.jung.graph.DelegateTree<PrefixAutomatonNode,PrefixAutomatonEdge> getTree()