public class NetReplayer extends java.lang.Object
NetReplayer(andbur.hub.top.petrinet.PetriNet net)
java.util.HashSet<java.util.LinkedList<java.lang.String>>
getTraces()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public NetReplayer(andbur.hub.top.petrinet.PetriNet net)
public java.util.HashSet<java.util.LinkedList<java.lang.String>> getTraces()