pnml.loader
Class PetriNetParserDiscrete

java.lang.Object
  extended by pnml.loader.AbstractPetriNetParser
      extended by pnml.loader.PetriNetParserDiscrete

public class PetriNetParserDiscrete
extends AbstractPetriNetParser


Constructor Summary
PetriNetParserDiscrete()
           
 
Method Summary
 void createArc(org.w3c.dom.Element element)
           
 void createPlace(org.w3c.dom.Element element)
           
 void createTransition(org.w3c.dom.Element element)
           
 
Methods inherited from class pnml.loader.AbstractPetriNetParser
createGraph, createNodeAttr, getID
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PetriNetParserDiscrete

public PetriNetParserDiscrete()
Method Detail

createPlace

public void createPlace(org.w3c.dom.Element element)
Specified by:
createPlace in class AbstractPetriNetParser

createTransition

public void createTransition(org.w3c.dom.Element element)
Specified by:
createTransition in class AbstractPetriNetParser

createArc

public void createArc(org.w3c.dom.Element element)
Specified by:
createArc in class AbstractPetriNetParser