See PetriNet.