com.ing.baker.petrinet.api
A node in the coverability tree
Implements page 47 of http://cpntools.org/_media/book/covgraph.pdf