org.processmining.plugins.petrify

Class PetrifySGReader

java.lang.Object

org.processmining.plugins.petrify.PetrifySGReader

public class PetrifySGReader
extends java.lang.Object

Supports the reading of a Transition System from a .sg file

Author:

HVERBEEK

Field Summary

Fields

Modifier and Type	Field and Description
static char	COMMENT
static char	DOT
static java.lang.String	MARKING
static java.lang.String	MODEL

Constructor Summary

Constructors

Constructor and Description
PetrifySGReader()

Method Summary

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.

Methods inherited from class java.lang.Object

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

Field Detail

COMMENT

public static final char COMMENT

See Also:

Constant Field Values

DOT

public static final char DOT

See Also:

Constant Field Values

MARKING

public static final java.lang.String MARKING

See Also:

Constant Field Values

MODEL

public static final java.lang.String MODEL

See Also:

Constant Field Values

Constructor Detail

PetrifySGReader

public PetrifySGReader()

Method Detail

read

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

Reads a Petri net and its initial marking from the given input stream.

Parameters:

input - The given input stream.

ts - The transition system

startStates - The start states.

Throws:

java.io.IOException