您的位置：网站首页 > 《中文科技期刊数据库》 > 工程技术 > 自动化计算机 > 计算机技术理论 > 摘要
S-不变量极小支集判定的多项式算法
包云霞 鲁法明 山东科技大学理学院 山东科技大学信息科学与工程学院第1页
第2页
第3页
第4页
| 《山东科技大学学报：自然科学版》2010年 第1期 | 摘要：S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。 | |
|---|---|---|
| 格式：PDF 页数：5 页 页码范围：-页 | ||
学科分类：
|
||
| 关 键 词：Petri网 结构性质 S-不变量 S-不变量的极小支集 | ||
| 来源期刊：《山东科技大学学报：自然科学版》2010年 第1期 | ||
| 收录数据库：中文科技期刊数据库 | ||
|
||
