描述与求解哲学家就餐问题的Petri网模型研究

摘要：

研究了用Petri网描述操作系统中经典的"并发操作"的例子--哲学家就餐问题,并构造了不同的Petri网模型解决死锁和无限等待问题,最后讨论了轮流进餐时不同进餐次数情况下的Petri网构造问题.

关键词：Petri网、并发、死锁、操作系统、哲学家就餐问题

所属期刊栏目：17

分类号：TP311(计算技术、计算机技术)

在线出版日期：2004-10-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：468-469,498