static DPNTextEditor |
DPNTextEditorPlugin.createDPN(org.processmining.framework.plugin.PluginContext context) |
static DPNTextEditor |
PNTextEditorPlugin.createDPN(org.processmining.framework.plugin.PluginContext context) |
static DPNTextEditor |
DPNTextEditorPlugin.editDPN(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static DPNTextEditor |
PNTextEditorPlugin.editDPN(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
static DPNTextEditor |
DPNTextEditor.newInstance(DataPetriNet net,
DPNTextEditor.ModelSaver modelSaver) |
static DPNTextEditor |
DPNTextEditor.newInstance(DataPetriNet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
DPNTextEditor.ModelSaver modelSaver) |
static DPNTextEditor |
DPNTextEditor.newInstance(Editable<DataPetriNetsWithMarkings> editableDPN) |
static DPNTextEditor |
DPNTextEditor.newInstance(java.lang.String dpnCode,
DPNTextEditor.ModelSaver modelSaver) |