|
|||||
|
|
| Petri网死锁的分析与检测 | |
| 引用本文： | 唐培和. Petri网死锁的分析与检测[J]. 计算机系统应用, 2004, 13(11): 44-47 |
| 作者姓名： | 唐培和 |
| 作者单位： | 柳州广西工学院计算机工程系,545006 |
| 基金项目： | 本文的研究获广西自然科学基金(桂科自0066006)资助 |
| 摘 要： | 本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用. |
| 关 键 词： | Petri网 死锁 算法 |
The Analysis and Test of Petri Net's Deadlock |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机系统应用》浏览原始摘要信息 | |
| 点击此处可从《计算机系统应用》下载全文 | |