期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
S-不变量极小支集判定的多项式算法 被引量:1
1
作者 包云霞 鲁法明 《山东科技大学学报(自然科学版)》 CAS 2010年第1期100-104,共5页
S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出... S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。 展开更多
关键词 PETRI网 结构性质 s-不 s-不变量的极小支集
下载PDF
求取S-不变量基的新算法
2
作者 包云霞 鲁法明 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期65-68,共4页
S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S... S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。 展开更多
关键词 PETRI网 s-不 s-不变量的极小支集
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部