| 动态死锁分析与检测 |
| |
| 引用本文： | 唐培和.动态死锁分析与检测[J].广西工学院学报,1998,9(1):25-29. |
| |
| 作者姓名： | 唐培和 |
| |
| 作者单位： | 广西工学院计算中心 |
| |
| 摘 要： | 可达树是Ｐｅｔｒｉ网性能分析的重要工具之一。本文在可达树和网结构的基础上，提出了一种分析与检测动态死锁的新方法，并给出了相应的算法。
|
| 关 键 词： | Petri网 死锁 可达树 算法 |
The Analysis and Test of Dynamic Deadlock in Petri Net |
| |
| Tang Peihe.The Analysis and Test of Dynamic Deadlock in Petri Net[J].Journal of Guangxi University of Technology,1998,9(1):25-29. |
| |
| Authors: | Tang Peihe |
| |
| Abstract: | The reachability tree is an important tool to analyze the properties of Petri Net.On the basis of reachability tree and net structure,a new analysis method for the dynamic deadlock test was advanced ,and the algorithm was given in this paper. |
| |
| Keywords: | Petri Net Deadlock Reachability tree Algorithm |
| 本文献已被 CNKI 维普 等数据库收录！ |
