Main Page | Class Hierarchy | Class List | File List | Class Members | File Members

marking.hh File Reference

Go to the source code of this file.

Classes

class  marking
 Implementation of an ordinary Petri net state (an int vector). More...


Please comment this page and report errors about it on the RefDocComments page.
Generated on Tue Nov 9 16:23:59 2004 for checkpn by doxygen 1.3.8