| 用Petri网描述进程的死锁 |
| |
| 引用本文： | 秦奋涛.用Petri网描述进程的死锁[J].河北北方学院学报(社会科学版),2000,16(2):78-80. |
| |
| 作者姓名： | 秦奋涛 |
| |
| 作者单位： | 张家口师范专科学校数学系,张家口,075028 |
| |
| 摘 要： | 死锁是操作系统的一个重要概念,本文提出用库所/变迁网直观、动态地描述并发进程的死锁,本人将这一方法用于操作系统有关死锁内容的教学取得了非常好的效果.
|
| 关 键 词： | petri网 库所/变迁网 进程 死锁 |
| 文章编号： | 1008-2727(2000)02-078(03) |
| 修稿时间： | 1999年12月30 |
Describing the Deadlock between Processes by Petri Nets |
| |
| Qin Fentao.Describing the Deadlock between Processes by Petri Nets[J].Journal of Hebei North University,2000,16(2):78-80. |
| |
| Authors: | Qin Fentao |
| |
| Abstract: | Deadlock is an important concept of operating system. In this paper, we intuitionally and dynamically describe the deadlock between parallel processes by place/transition nets, and we have used the method in the course of teaching operating system and obtained good results. |
| |
| Keywords: | Petri nets place/transition nets process deadlock |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
