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
1.3.8