Petri网的符号ZBDD可达树分析技术

• 作者: 古天龙 徐周波 李凤英
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 零压缩二叉决策图 可达树 状态空间
• 年，卷（期）: 2009,（12）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 2420-2428
• 页数: 9页
• 分类号: TP393
• 字数: 6849字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.02420

摘要

Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)是一种新型的数据结构,是表示和处理稀疏向量集合的一种有效技术.文章基于Petri网町达标识向量的稀疏特征,给出了Petri网分析的符号ZBDD技术,该技术通过对标识向量(状态)的布尔向量表示、可达标识向最(状态)的符号ZBDD生成,实现Petri网可达状态空间的高效符号操作和紧凑符号表示.实验表明,基于ZBDD的符号可达性分析算法能够有效处理较大规模Petri网问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机学院	207	1546	18.0	30.0
2	李凤英	西安电子科技大学电子工程学院	22	88	5.0	8.0
4	徐周波	西安电子科技大学电子工程学院	53	284	8.0	15.0