public class PNMLReader extends java.lang.Object
PNMLReader()
static andbur.hub.top.petrinet.PetriNet
parse(java.io.File file)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public PNMLReader()
public static andbur.hub.top.petrinet.PetriNet parse(java.io.File file) throws org.jdom.JDOMException, java.io.IOException
org.jdom.JDOMException
java.io.IOException