Petri网极小虹吸的计算方法与性能分析
虹吸是Petri网的一种重要结构,可以用来分析所模拟系统的许多重要特性,如可达性、可逆性和活性等.文中首先提出了虹吸子网的概念,并给出了将Petri网划分成虹吸子网的多项式算法,进而给出其性能分析.通过求解虹吸子网的极小虹吸得到原Petri网的所有极小虹吸.而对于每个虹吸子网,首先求解它的一个极小虹吸,并根据此极小虹吸对子网进行分解,将分解得到的子网做类似原网的处理过程,直到每个子网的位置集就是一个极小虹吸或不包含任何极小虹吸为止.性能分析及实验表明,所构造的求解Petri网所有极小虹吸的算法是一个有效的算法.
Petri网、虹吸子网、极小虹吸、活性
33
TP301(计算技术、计算机技术)
国家"九七三"重点基础研究发展规划项目基金2010CB328101;国家自然科学基金90818023,90718012;教育部创新团队基金IRT0744;国家青年自然科学基金60803065;山东科技大学科学研究春蕾计划项目2008AZZ051
2010-05-10(万方平台首次上网日期,不代表论文的发表时间)
共7页
596-602