NodePetriNet

Classes
class	NodePetriNet
	A petri net node. More...

Enumerations
enum	DataIndexEnumT { State , Flow , DataLength }
	The data variable indexes, DataLength is used internally.

Detailed Description