Package | Description |
---|---|
org.processmining.plugins.multietc.automaton | |
org.processmining.plugins.multietc.res |
Modifier and Type | Method and Description |
---|---|
void |
Automaton.checkConformance(ReflectedLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking iniM,
org.processmining.models.semantics.petrinet.Marking endM,
MultiETCResult res,
MultiETCSettings etcSett)
Check the conformance of an automaton.
|
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
MultiETCResultVis.open(org.processmining.framework.plugin.PluginContext context,
MultiETCResult res) |