org.processmining.importing.petrify
Class PetrifyReader
java.lang.Object
org.processmining.importing.petrify.PetrifyReader
public class PetrifyReader
- extends java.lang.Object
- Version:
- 1.0
- Author:
- Vladimir Rubin
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PetrifyReader
public PetrifyReader()
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)