Package | Description |
---|---|
org.processmining.plugins.etconformance.data |
Modifier and Type | Method and Description |
---|---|
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.
|