public class TrapGenerator
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
protected class |
TrapGenerator.ExpansionItem |
| Constructor and Description |
|---|
TrapGenerator() |
| Modifier and Type | Method and Description |
|---|---|
org.processmining.models.graphbased.directed.petrinet.analysis.TrapSet |
calculateTraps(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.InhibitorNet net) |
org.processmining.models.graphbased.directed.petrinet.analysis.TrapSet |
calculateTraps(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
public org.processmining.models.graphbased.directed.petrinet.analysis.TrapSet calculateTraps(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net)
throws java.lang.Exception
java.lang.Exceptionpublic org.processmining.models.graphbased.directed.petrinet.analysis.TrapSet calculateTraps(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
throws java.lang.Exception
java.lang.Exception