Philosophers and PrisonAndLight

Dijkstras Dinning Philosophers problem and Prisoners-and-Light problem