public final class DPN
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static DataPetriNetsWithMarkings |
fromInputStream(java.io.InputStream dpnAsStream) |
static DataPetriNetsWithMarkings |
fromString(java.lang.String dpnAsString) |
static java.lang.String |
toText(DataPetriNet dpn) |
static java.lang.String |
toText(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
static java.lang.String |
toText(DataPetriNetsWithMarkings dpn) |
public static DataPetriNetsWithMarkings fromString(java.lang.String dpnAsString) throws ParseException
ParseException
public static DataPetriNetsWithMarkings fromInputStream(java.io.InputStream dpnAsStream) throws ParseException
ParseException
public static java.lang.String toText(DataPetriNet dpn)
public static java.lang.String toText(DataPetriNetsWithMarkings dpn)
public static java.lang.String toText(DataPetriNet dpn, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking)