PetriNetDiningPhilosophers

t1model