org.processmining.datapetrinets.dsl

Class DPN

java.lang.Object

org.processmining.datapetrinets.dsl.DPN

public final class DPN
extends java.lang.Object

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

fromString

public static DataPetriNetsWithMarkings fromString(java.lang.String dpnAsString)
                                            throws ParseException

Throws:

ParseException

fromInputStream

public static DataPetriNetsWithMarkings fromInputStream(java.io.InputStream dpnAsStream)
                                                 throws ParseException

Throws:

ParseException

toText

public static java.lang.String toText(DataPetriNet dpn)

toText

public static java.lang.String toText(DataPetriNetsWithMarkings dpn)

toText

public static java.lang.String toText(DataPetriNet dpn,
                                      org.processmining.models.semantics.petrinet.Marking initialMarking,
                                      org.processmining.models.semantics.petrinet.Marking finalMarking)