PetriNetDiningPhilosophers

t3model