PetriNets
Last edit February 16, 2004
See
PetriNet
.