Added dining philosophers posa assignment.