| 面向对象的Petri网死锁检测 |
| |
| 引用本文： | 郑锋,孙树栋,司书宾.面向对象的Petri网死锁检测[J].西北工业大学学报,2004,22(2):166-170. |
| |
| 作者姓名： | 郑锋 孙树栋 司书宾 |
| |
| 作者单位： | 西北工业大学,机电学院,陕西,西安,710072 |
| |
| 基金项目： | 国家自然科学基金 (6 9984 0 0 4 )，86 3计划基金 (2 0 0 3AA4 11110 ) |
| |
| 摘 要： | 研究如何检测面向对象的Petri网(OOPN）中的死锁，将OOPN中的死锁分为结构死锁和约束死锁，给出了采用常规分析法检测结构死锁的步骤。运用大系统分解的思想，分两步进行分析，即首先验证每个对象类的子模型的活性，然后检查对象间的同步约束。该方法提供一种解决复杂问题的途径。
|
| 关 键 词： | OOPN，死锁，活性 |
| 文章编号： | 1000-2758(2004)02-0166-05 |
| 修稿时间： | 2003年4月20日 |
On Decreasing Complexity of Deadlock Detection of Object-Oriented Petri Net |
| |
| Zheng Feng,Sun Shudong,Si Shubin.On Decreasing Complexity of Deadlock Detection of Object-Oriented Petri Net[J].Journal of Northwestern Polytechnical University,2004,22(2):166-170. |
| |
| Authors: | Zheng Feng Sun Shudong Si Shubin |
| |
| Abstract: | |
| |
| Keywords: | OOPN(Object-Oriented Petri Net) deadlock detection |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
