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

• 作者: 江祥奎 王淑礼 袁俊红
• 来源期刊: 信阳师范学院学报(自然科学版)
• 学科: 工学
• 关键词: Petri网 并发 死锁 操作系统 哲学家就餐问题
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 应用技术研究
• 页码范围: 468-469,498
• 页数: 3页
• 分类号: TP311
• 字数: 1201字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0972.2004.04.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王淑礼	信阳师范学院计算机科学系	21	46	3.0	5.0
2	江祥奎	信阳师范学院计算机科学系	4	86	3.0	4.0
3	袁俊红	信阳师范学院计算机科学系	6	31	3.0	5.0