Package | Description |
---|---|
org.processmining.plugins.etconformance | |
org.processmining.plugins.etconformance.data | |
org.processmining.plugins.etconformance.ui |
Modifier and Type | Method and Description |
---|---|
java.lang.Object[] |
ETCPlugin.doETC(org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.models.connections.petrinets.EvClassLogPetrinetConnection con,
ETCResults res)
ETConformance variant with Log, PetriNet, Initial Marking and
Log-Petrinet Connection and Results.
|
java.lang.Object[] |
ETCPlugin.doETC(org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
ETCResults res)
ETConformance variant with Log, PetriNet, Initial Marking and
Log-Petrinet Connection and Results.
|
static org.deckfour.xes.model.XLog |
ETCAlgorithm.exec(org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
ETCResults res)
Perform the ETConformance algorithm.
|
Constructor and Description |
---|
ETCSettings(ETCResults res)
Main constructor that initialize the default setting values.
|
Modifier and Type | Method and Description |
---|---|
void |
PrefixAutomaton.computeConfidence(ETCResults res)
Compute the Confidence Interval of the ETCP metric.
|
PrefixAutomaton.MarksTasks |
PrefixAutomaton.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 |
PrefixAutomaton.computeMetrics(ETCResults res)
Compute the metrics over the extended prefix automaton.
|
void |
PrefixAutomaton.computeSeverity(ETCResults res,
org.deckfour.xes.model.XTrace trace,
PrefixAutomatonNode imp)
Compute and set the severity of an imprecision.
|
org.deckfour.xes.model.XLog |
PrefixAutomaton.createMDT(ETCResults res)
Build the Minimal Disconformant Traces log for the given extended automaton.
|
void |
PrefixAutomaton.detectEscaping(ETCResults res)
Set and compute the escaping states of an extended prefix automaton.
|
void |
PrefixAutomaton.detectEscapingRec(PrefixAutomatonNode parent,
ETCResults res)
Set and compute the escaping states of the subtree rooted by the given node.
|
void |
PrefixAutomaton.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 |
PrefixAutomaton.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.
|
void |
PrefixAutomaton.setNonDetSubtree(PrefixAutomatonNode node,
ETCResults res)
Set all the subtree of the node as NON_DET nodes
|
void |
PrefixAutomaton.setNonFitSubtree(PrefixAutomatonNode node,
ETCResults res)
Set all the subtree of the node as NON_FIT nodes
|
void |
PrefixAutomaton.setOutSubtree(PrefixAutomatonNode node,
ETCResults res)
Set all the subtree of the node as OUT nodes
|
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 |
---|---|
javax.swing.JComponent |
ETCResultsVisualization.createPA(ETCResults res)
Create the visualization for the Prefix Automaton.
|
javax.swing.JTextPane |
ETCResultsVisualization.createResults(ETCResults res)
Create the visualization for the Results tab.
|
javax.swing.JComponent |
ETCResultsVisualization.open(org.processmining.framework.plugin.PluginContext context,
ETCResults res) |