Modifier and Type | Method and Description |
---|---|
static DataPetriNetsWithMarkings |
DataPetriNet.Factory.create(java.lang.String label) |
static DataPetriNetsWithMarkings |
DataPetriNetsWithMarkings.Factory.create(java.lang.String label) |
static DataPetriNetsWithMarkings |
DataPetriNet.Factory.fromPetrinet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
static DataPetriNetsWithMarkings |
DataPetriNetsWithMarkings.Factory.fromPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarking) |
Modifier and Type | Method and Description |
---|---|
static DataPetriNetsWithMarkings |
DPN.fromInputStream(java.io.InputStream dpnAsStream) |
static DataPetriNetsWithMarkings |
DPN.fromString(java.lang.String dpnAsString) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
DPN.toText(DataPetriNetsWithMarkings dpn) |
Modifier and Type | Method and Description |
---|---|
void |
DPNTextEditor.ModelSaver.save(DataPetriNetsWithMarkings dpnWithMarkings) |
Modifier and Type | Method and Description |
---|---|
static DPNTextEditor |
DPNTextEditor.newInstance(Editable<DataPetriNetsWithMarkings> editableDPN) |
Modifier and Type | Method and Description |
---|---|
DataPetriNetsWithMarkings |
DataPetriNetImporter.DPNWithLayout.getDPN() |
Modifier and Type | Class and Description |
---|---|
class |
DiscoveredPetriNetWithData
Deprecated.
|
class |
PetriNetWithData |