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

• 作者: 宋文 邵长明
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: Petri网 哲学家就餐问题 延迟Petri网 效率
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 算法与分析
• 页码范围: 40-43
• 页数: 4页
• 分类号: TP393
• 字数: 2484字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.01.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋文	西华大学数学与计算机学院	35	113	6.0	9.0
2	邵长明	西华大学数学与计算机学院	1	3	1.0	1.0