PetriNetDiningPhilosophers

t6model