public class PetrifyGReader
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
COMMA |
static char |
COMMENT |
static char |
DOT |
static java.lang.String |
DUMMY |
static java.lang.String |
END |
static java.lang.String |
EQUALS |
static java.lang.String |
INPUTS |
static java.lang.String |
INTERNAL |
static java.lang.String |
LPAREN |
static java.lang.String |
MARKING |
static java.lang.String |
MODEL |
static java.lang.String |
OUTPUTS |
static java.lang.String |
RPAREN |
Constructor and Description |
---|
PetrifyGReader()
Creates a new reader.
|
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.Petrinet |
read(java.io.InputStream input,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
org.processmining.models.semantics.petrinet.Marking marking)
Reads a Petri net and its initial marking from the given input stream.
|
public static final char COMMENT
public static final char DOT
public static final java.lang.String COMMA
public static final java.lang.String DUMMY
public static final java.lang.String END
public static final java.lang.String EQUALS
public static final java.lang.String INPUTS
public static final java.lang.String INTERNAL
public static final java.lang.String LPAREN
public static final java.lang.String MARKING
public static final java.lang.String OUTPUTS
public static final java.lang.String MODEL
public static final java.lang.String RPAREN
public org.processmining.models.graphbased.directed.petrinet.Petrinet read(java.io.InputStream input, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, org.processmining.models.semantics.petrinet.Marking marking) throws java.io.IOException
input
- The given input stream.pn
- The Petri net.marking
- The initial marking.java.io.IOException