public class PetrifySGReader
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static char |
COMMENT |
static char |
DOT |
static java.lang.String |
MARKING |
static java.lang.String |
MODEL |
Constructor and Description |
---|
PetrifySGReader() |
Modifier and Type | Method and Description |
---|---|
void |
read(java.io.InputStream input,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
org.processmining.models.graphbased.directed.transitionsystem.StartStateSet startStates)
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 MARKING
public static final java.lang.String MODEL
public void read(java.io.InputStream input, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts, org.processmining.models.graphbased.directed.transitionsystem.StartStateSet startStates) throws java.io.IOException
input
- The given input stream.ts
- The transition systemstartStates
- The start states.java.io.IOException