Package | Description |
---|---|
org.processmining.petrinets.list.factory | |
org.processmining.petrinets.list.plugin |
Modifier and Type | Method and Description |
---|---|
static PetriNetList |
PetriNetListFactory.createPetriNetList(Petrinet... nets) |
Modifier and Type | Method and Description |
---|---|
PetriNetList |
ImportPetriNetListPlugin.apply(org.processmining.framework.plugin.PluginContext context,
java.io.File file) |
static PetriNetList |
CreatePetriNetListPlugin.runPlugin(Petrinet... nets) |
static PetriNetList |
CreatePetriNetListPlugin.runPlugin(org.processmining.framework.plugin.PluginContext context,
Petrinet... nets) |
Modifier and Type | Method and Description |
---|---|
static void |
ExportPetriNetListToPNListPlugin.export(org.processmining.framework.plugin.PluginContext context,
PetriNetList list,
java.io.File file) |