org.processmining.plugins.etconformance.data

Class PrefixAutomaton

java.lang.Object

org.processmining.plugins.etconformance.data.PrefixAutomaton

public class PrefixAutomaton
extends java.lang.Object

Class representing a prefix automaton of a log. Eventually, this prefix could be enriched with model information.

Author:

Jorge Munoz-Gama (jmunoz)

Nested Class Summary

Nested Classes

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 Summary

Constructors

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.

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PrefixAutomaton

public 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.

Parameters:

log - Log used to construct the prefix automaton.

mapping -

Method Detail

enrich

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

Enrich/Extend the Prefix Automaton with the behavior of the model (a Petrinet).

Parameters:

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.

Throws:

org.processmining.models.semantics.IllegalTransitionException

java.lang.Exception

enrichRec

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

Enrich/Extend the subtree from the given node with the behavior of the model.

Parameters:

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.

Throws:

java.lang.Exception

setNonFitSubtree

public void setNonFitSubtree(PrefixAutomatonNode node,
                    ETCResults res)

Set all the subtree of the node as NON_FIT nodes

Parameters:

node - Initial node of the subtree that falls in the NON fitting part.

setNonDetSubtree

public void setNonDetSubtree(PrefixAutomatonNode node,
                    ETCResults res)

Set all the subtree of the node as NON_DET nodes

Parameters:

node - Initial node of the subtree that falls in the NON deterministic part.

computeEnableTasks

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

Compute the available tasks for the given marking according to the model.

Parameters:

net - Model.

marking - Marking.

mapping - Connection between log events and Petri net transitions.

sem - Petri net semantics to compute the available transitions.

Returns:

Pairs of enable tasks and the marking reached after firing it..

Throws:

java.lang.Exception

detectEscaping

public void detectEscaping(ETCResults res)

Set and compute the escaping states of an extended prefix automaton. It also set the type of the other kind of nodes.

Parameters:

res - Result object to store some statistical information.

detectEscapingRec

public void detectEscapingRec(PrefixAutomatonNode parent,
                     ETCResults res)

Set and compute the escaping states of the subtree rooted by the given node. It also set the type of the other kind of nodes.

Parameters:

parent - Root of the subtree to be analyzed.

res - Result object to store some statistical information.

setOutSubtree

public void setOutSubtree(PrefixAutomatonNode node,
                 ETCResults res)

Set all the subtree of the node as OUT nodes

Parameters:

node - Initial node of the subtree that falls OUT

computeMetrics

public void computeMetrics(ETCResults res)

Compute the metrics over the extended prefix automaton.

Parameters:

res - Result object to store the results.

computeConfidence

public void computeConfidence(ETCResults res)
                       throws java.io.IOException

Compute the Confidence Interval of the ETCP metric.

Parameters:

res - Result object to store the results.

Throws:

java.io.IOException

createMDT

public org.deckfour.xes.model.XLog createMDT(ETCResults res)

Build the Minimal Disconformant Traces log for the given extended automaton.

Parameters:

res - Result object to store the results.

Returns:

Minimal Disconformant Traces log.

createMDTTraceRec

public 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.

Parameters:

node - End node of the trace path.

trace - Trace to add the events according to the path.

computeSeverity

public void computeSeverity(ETCResults res,
                   org.deckfour.xes.model.XTrace trace,
                   PrefixAutomatonNode imp)

Compute and set the severity of an imprecision.

Parameters:

res - Results object with statistical information.

trace - Trace leading to the imprecision.

imp - Imprecision to be analyzed.

getTree

public edu.uci.ics.jung.graph.DelegateTree<PrefixAutomatonNode,PrefixAutomatonEdge> getTree()