Package org.tweetyproject.logics.petri.syntax.reachability_graph
package org.tweetyproject.logics.petri.syntax.reachability_graph

ClassDescriptionA class to describe markings (i.e.A class to describe markings of a Petri net.A class to perform a stochastic walk on a reachability graph based on a probability function on that graphA class to describe the graph of reachability between possible markings of a Petri net