基于Petri网下哲学家就餐问题模型的改进与推广

摘要：

哲学家就餐问题是描述在共享资源下同步与并发的经典案例,活性与无饥饿性是求解此问题的前提,效率是基本要求.基于两个许可卡的传递策略,已经给出了无饥饿解的Petri网模型,并且在该模型基础上的改进解决了许可卡的传递问题同时也解决了拥有许可卡且准备就餐的两位相邻哲学家之间共享资源的冲突问题.然而以上改进并没有真正实现效率上的高效且不易推广到哲学家人数大于5位的情形.

关键词：Petri网、哲学家就餐问题、延迟Petri网、效率

所属期刊栏目：38

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

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

页数：共4页

页码：40-43