public class RemoveUnconnectedNodesPlugin
extends java.lang.Object
Constructor and Description |
---|
RemoveUnconnectedNodesPlugin() |
Modifier and Type | Method and Description |
---|---|
static Petrinet |
apply(Petrinet net)
Context-unaware version, does not allow us to find markings!
|
static Petrinet |
apply(org.processmining.contexts.uitopia.UIPluginContext context,
Petrinet net) |