org.processmining.importing.petrify
Class PetrifyReader

java.lang.Object
  extended by org.processmining.importing.petrify.PetrifyReader

public class PetrifyReader
extends java.lang.Object

Version:
1.0
Author:
Vladimir Rubin

Constructor Summary
PetrifyReader()
           
 
Method Summary
static Place findPlace(java.lang.String st, java.util.ArrayList<Place> places)
           
static Transition findTransition(java.lang.String st, java.util.ArrayList<Transition> transitions)
           
static boolean isPlace(java.lang.String st)
           
static PetriNet read(java.io.InputStream input)
           
static java.lang.String repairTransitionString(java.lang.String st)
           
static java.lang.String repairTransitionStringForMapping(java.lang.String st)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PetrifyReader

public PetrifyReader()
Method Detail

read

public static PetriNet read(java.io.InputStream input)
                     throws java.io.IOException
Throws:
java.io.IOException

isPlace

public static boolean isPlace(java.lang.String st)

findPlace

public static Place findPlace(java.lang.String st,
                              java.util.ArrayList<Place> places)

findTransition

public static Transition findTransition(java.lang.String st,
                                        java.util.ArrayList<Transition> transitions)

repairTransitionString

public static java.lang.String repairTransitionString(java.lang.String st)

repairTransitionStringForMapping

public static java.lang.String repairTransitionStringForMapping(java.lang.String st)