Dining Philosophers - EPOS version.