理发师问题的Petri网模型

• 作者: 刘萍
• 来源期刊: 现代计算机：中旬刊
• 学科: 工学
• 关键词: PETRI网 理发师问题 可达标识图
• 年，卷（期）: 2015,（6）
• 页码范围: 59-61
• 页数: 3页
• 分类号: TP393

摘要

讨论在操作系统中研究的关于进程间通信（IPC）的一个著名的问题：睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标识图性质。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘萍	甘肃民族师范学院计算机科学系	3	0	0.0	0.0