MutexProblem
NoEntryProblem
PetersonSolution
