Module: PetriNet

Defined in:

lib/petri_net/arc.rb,
lib/petri_net/base.rb,
lib/petri_net/marking.rb,
lib/petri_net/version.rb,
lib/petri_net/transition.rb

Defined Under Namespace

Classes: Arc, Base, CoverabilityGraph, Graph, InfiniteReachabilityGraphError, Marking, Net, Place, ReachabilityGraph, Transition

Constant Summary

VERSION =

Current Version

"0.7.9.1"

DEBUG =

True if this is a debug-version and should not be used in productive systems

false