Petri Nets

See PetriNet.