The Dining Philosophers - a Java Applet