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

package org.tweetyproject.logics.petri.syntax.reachability_graph
  • Class Summary
    A 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 graph
    A class to describe the graph of reachability between possible markings of a Petri net