Replaced DiningPhilosophers specification by its most recent version

Change-Id: I52e4c0711b9a4b5d69ce3bf23415bec69a379b10
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>