| 基于Petri网络结构的死锁分析与检测 |
| |
| 引用本文： | 唐培和. 基于Petri网络结构的死锁分析与检测[J]. 广西工学院学报, 1997, 8(2): 72-75 |
| |
| 作者姓名： | 唐培和 |
| |
| 作者单位： | 广西工学院计算中心 |
| |
| 摘 要： | 本文在死锁定义的基础上，讨论了死锁的性质，分析了结构死锁的物理意义，并且给出了死锁的检测算法与分析。
|
| 关 键 词： | Petri网 死锁 检测 并发系统 |
The Analysis and Test of Deadlock in Petri Net |
| |
| Tang Peihe. The Analysis and Test of Deadlock in Petri Net[J]. Journal of Guangxi University of Technology, 1997, 8(2): 72-75 |
| |
| Authors: | Tang Peihe |
| |
| Abstract: | On the basis of deadlock definition,this paper discusses the deadlock's properties,analyses the physical meanings of structural deadlock,and gives an algorithm for the minimal deadlock test. |
| |
| Keywords: | Petri Net Deadlock Algorithm |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
