| Petri网的活跃性和非死锁性的判定算法及证明 |
| |
| 引用本文： | 林伟国,严隽永.Petri网的活跃性和非死锁性的判定算法及证明[J].海军工程大学学报,1990(1). |
| |
| 作者姓名： | 林伟国 严隽永 |
| |
| 作者单位： | 海军工程学院计算机工程系，海军工程学院计算机工程系 |
| |
| 摘 要： | 用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。
|
| 关 键 词： | Petri网 判定算法 活跃性 非死锁性 安全性 |
Decision Algorithms for Petri Net Liveness and Nondeadlock and Their Proving |
| |
| Lin Weiguo Yah Juanyong.Decision Algorithms for Petri Net Liveness and Nondeadlock and Their Proving[J].Journal of Naval University of Engineering,1990(1). |
| |
| Authors: | Lin Weiguo Yah Juanyong |
| |
| Institution: | Lin Weiguo Yah Juanyong |
| |
| Abstract: | |
| |
| Keywords: | Petri Net Decision algorithm Liveness Nondeadlock Safety |
| 本文献已被 CNKI 等数据库收录！ |
