| 哲学家就餐. | CPN Tools help |
| Example Nets |
这个例子中，CPN 模型描述几个过程(哲学家)共享公有资源(筷子)的情况。哲学家就餐是一个很经典的例子，计算机科学家经常用它来解释同步和并发中的新概念。
这个例子选自CPN课本卷2中的1.6节，更多信息请访问 http://www.daimi.au.dk/~kjensen/papers_books/rec_papers_books.html
状态空间工具的文档可以参看 使用状态空间工具。
这个例子的文件放在cpntools的子目录Samples\DiningPhilosophers下。
文件如下：