pnml.loader
Class PetriNetBuilder

java.lang.Object
  extended by pnml.loader.PetriNetBuilder

public class PetriNetBuilder
extends java.lang.Object


Constructor Summary
PetriNetBuilder()
           
 
Method Summary
 org.graffiti.graph.Graph build(org.w3c.dom.Document pnmlDoc)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PetriNetBuilder

public PetriNetBuilder()
Method Detail

build

public org.graffiti.graph.Graph build(org.w3c.dom.Document pnmlDoc)