| 基于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 维普 等数据库收录！ |
|
