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

摘要：

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

关键词：赋时位置Petri网、有序二叉决策图、符号算法、可达集

所属期刊栏目：26

分类号：TP391(计算技术、计算机技术)

资助基金：广西新世纪十百千人才工程基金0448072

在线出版日期：2006-08-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：181-186