求解哲学家进餐问题的Petri网模型及实现

• 作者: 江祥奎 王淑礼
• 来源期刊: 电脑开发与应用
• 学科: 工学
• 关键词: 哲学家进餐问题 轮流进餐 死锁 Petri网
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 研究与探讨
• 页码范围: 40-42
• 页数: 3页
• 分类号: TP311
• 字数: 1744字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-5850.2005.01.003

摘要

为了解决操作系统中的进程间同等互斥问题,研究了以Petri网为系统描述工具来分析经典的哲学家进餐问题,提出了避免死锁问题的轮流就餐方案,讨论了不同进餐次数之比时的Petri网模型,给出了两种模型的程序实现.此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王淑礼		21	46	3.0	5.0
2	江祥奎		4	86	3.0	4.0