PetriNetDiningPhilosophers

t2model