S-不变量极小支集判定的多项式算法

摘要：

S -不变量是对Petri网进行结构性质分析的重要工具,但S -不变量的求取尚无有效算法.主要分析了S -不变量极小支集的判定问题.结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S -不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S -不变量极小支集的多项式算法.

关键词：Petri网、结构性质、S-不变量、S-不变量的极小支集

所属期刊栏目：29

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

资助基金：国家自然科学基金项目60673053,60603090;山东省优秀中青年科学家奖励基金项目2006BS01019;山东科技大学"春蕾计划"项目2008BWZ027

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

页数：共5页

页码：100-104