Package ptolemy.domains.csp.demo.DiningPhilosophers