赋时Petri网的一种符号分析算法

• 作者: 古天龙 熊太平
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 赋时位置Petri网 有序二叉决策图 符号算法 可达集
• 年，卷（期）: 2006,（3）
• 页码范围: 181-186
• 页数: 6页
• 分类号: TP391
• 字数: 5317字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2006.03.006

摘要

有序二叉决策图(Ordered Binary Decision Disgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现.在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究,构造了一种扩展标识向量,给出了赋时Petri网分析的一种符号OBDD算法,实现了赋时Petri网的隐式描述与分析.实验表明,符号算法能处理较大规模赋时Petri网问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机系	207	1546	18.0	30.0
2	熊太平	桂林电子科技大学计算机系	2	3	1.0	1.0