| 改进覆盖树与标识网死锁的检测 |
| |
| 引用本文： | 陆以勤,叶青,贺前华,韦岗. 改进覆盖树与标识网死锁的检测[J]. 华南理工大学学报(自然科学版), 2001, 29(8): 60-64 |
| |
| 作者姓名： | 陆以勤 叶青 贺前华 韦岗 |
| |
| 作者单位： | 华南理工大学电子与信息学院,;广东海事局, |
| |
| 基金项目： | 国家自然科学基金资助项目 (6 9782 0 0 8),广东省自然科学基金资助项目 (970 44 0 ),国家教委优秀青年教师基金资助项目 |
| |
| 摘 要： | 通过在ω符号中加入令牌数增减的信息,改进了原标识Petri覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树,这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都有可达标识,这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的。
|
| 关 键 词： | Petri网 标识网 覆盖树 死锁 |
| 文章编号： | 1000-565(2001)08-0060-05 |
Improved Coverability Trees and Deadlock Detection of Marked Nets |
| |
| Lu Yi_qin Ye Qing He Qian_hua Wei Gang. Improved Coverability Trees and Deadlock Detection of Marked Nets[J]. Journal of South China University of Technology(Natural Science Edition), 2001, 29(8): 60-64 |
| |
| Authors: | Lu Yi_qin Ye Qing He Qian_hua Wei Gang |
| |
| Affiliation: | Lu Yi_qin 1 Ye Qing 2 He Qian_hua 1 Wei Gang 1 |
| |
| Abstract: | |
| |
| Keywords: | Petri nets marked net coverability tree deadlock |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
