S-不变量极小支集判定的多项式算法
A Polynomial Algorithm for the Decidability of Minimal Support of S-invariants作者机构：山东科技大学理学院山东青岛266510 山东科技大学信息科学与工程学院山东青岛266510
出 版 物：《山东科技大学学报（自然科学版）》 (Journal of Shandong University of Science and Technology(Natural Science))
年 卷 期：2010年第29卷第1期
页 面：100-104页
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金项目(60673053 60603090) 山东省优秀中青年科学家奖励基金项目(2006BS01019) 山东科技大学"春蕾计划"项目(2008BWZ027)
主 题：Petri网 结构性质 S-不变量 S-不变量的极小支集
摘 要：S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。
维普期刊数据库
同方期刊数据库