compressed_marking | Implementation of a compressed ordinary Petri net state (a bit vector) |
marking | Implementation of an ordinary Petri net state (an int vector) |
marking_graph_visitor | Implementation of a spot::tgba_reachable_iterator_breadth_first printing all reachable markings of a pn_tgba as well as the firings |
petri_net | A simple Petri net class |
pn_state | Encapsulation of a compressed_marking in a spot::state |
pn_succ_iterator | Implementation of a spot::tgba_succ_iterator for a marking |
pn_tgba | Encapsulation of a petri_net in a spot::tgba |