Package ptolemy.domains.csp.demo.DiningPhilosophers.checkDeadlock

The ptolemy.domains.csp.demo.DiningPhilosophers.checkDeadlock package.

Since:

Ptolemy II 10.1

Class Summary

Class	Description
Check	Check the dining philosopher model.