public class GeneratePetrinetPlugin
extends java.lang.Object
Constructor and Description |
---|
GeneratePetrinetPlugin() |
Modifier and Type | Method and Description |
---|---|
static GeneratedPetrinet |
generatePetrinet(org.processmining.contexts.uitopia.UIPluginContext context) |
public static GeneratedPetrinet generatePetrinet(org.processmining.contexts.uitopia.UIPluginContext context)