Exception: PetriNet::InfiniteReachabilityGraphError

Inherits:

RuntimeError

• Object
• RuntimeError
• PetriNet::InfiniteReachabilityGraphError

Defined in:

lib/petri_net/reachability_graph/graph.rb