| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | Petri网的符号ZBDD可达树分析技术 |
| 作者 | 李凤英1),2) 古天龙2) 徐周波1),2) |
| 作者单位 | 1)(西安电子科技大学电子工程学院 西安 710071) 2)(桂林电子科技大学计算机学院 广西桂林 541004) |
| 发表年份 | 2009 |
| 发表月份 | 12期(2420—2428) |
| 文章摘要 | 摘要 Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一 ，它通过标识向量集合表征系统的状态空间，组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策图(Zero-Suppressed Binary Decision Diagrams，ZBDD)是一种新型的数据结构，是表示和处理稀疏向量集合的一种有效技术.文章基于Petri网可达标识向量的稀疏特征，给出了Petri网分析的符号ZBDD技术，该技术通过对标识向量(状态)的布尔向量表示、可达标识向量(状态)的符号ZBDD生成，实现Petri网可达状态空间的高效符号操作和紧凑符号表示.实验表明，基于ZBDD的符号可达性分析算法能够有效处理较大规模Petri网问题. 关键词 Petri网；零压缩二叉决策图；可达树；状态空间 中图法分类号 TP393 DOI号: 10.3724/SP.J.1016.2009.02420 |