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