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

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

Class Summary

Class	Description
Marking	A class to describe markings (i.e.
MarkingEdge	A class to describe markings of a Petri net.
MarkovWalk	A class to perform a stochastic walk on a reachability graph based on a probability function on that graph
ReachabilityGraph	A class to describe the graph of reachability between possible markings of a Petri net
ReachabilityGraphParser