Package | Description |
---|---|
org.processmining.datapetrinets.dsl.editor |
Modifier and Type | Method and Description |
---|---|
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(java.lang.String dpnCode,
DPNTextEditor.ModelSaver modelSaver) |