安全Petri网事件分离状态的BDD算法

• 作者: 李志武 陈玉峰
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 二值决策图 事件分离状态
• 年，卷（期）: 2010,（1）
• 页码范围: 119-124,141
• 页数: 7页
• 分类号: TP271+.8
• 字数: 3911字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2010.01.021

摘要

基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间.最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真.仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学机电工程学院	39	141	6.0	9.0
2	陈玉峰	西安电子科技大学机电工程学院	1	6	1.0	1.0