理发师问题的Petri网模型
Petri Net Model on the Problem of Barbers
刘萍1
作者信息
- 1. 甘肃民族师范学院计算机科学系，合作 747000
- 折叠
摘要
讨论在操作系统中研究的关于进程间通信（IPC）的一个著名的问题：睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标识图性质。
Abstract
Discusses the Petri net model on the problem of barbers . The problem of Barbers is an important problem in operating systems. Carries out the Petri net model of the problem, and the property of the reachability tree of markings.
关键词
Petri网/理发师问题/可达标识图Key words
Petri Net/Problem of Barbers/Reachability Tree of Markings引用本文复制引用
基金项目
甘肃民族师范学院院长基金(2013-16)
出版年
2015
NETL
NSTL
维普
万方数据