有序二叉决策图(O rdered B inary D ec is ion D isgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究...有序二叉决策图(O rdered B inary D ec is ion D isgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究,构造了一种扩展标识向量,给出了赋时Petri网分析的一种符号OBDD算法,实现了赋时Petri网的隐式描述与分析。实验表明,符号算法能处理较大规模赋时Petri网问题。展开更多
基金国家自然科学基金(the National Natural Science Foundation of China under Grant No.60673162)北京自然科学基金(the Natural Science Foundation of Beijing of China under Grant No.4073041)
文摘有序二叉决策图(O rdered B inary D ec is ion D isgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究,构造了一种扩展标识向量,给出了赋时Petri网分析的一种符号OBDD算法,实现了赋时Petri网的隐式描述与分析。实验表明,符号算法能处理较大规模赋时Petri网问题。