有效模-n S-不变量与不可达性判定

• 作者: 包云霞 岳昊 鲁法明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Petri网 模-n S-不变量 不可达性
• 年，卷（期）: 2007,（17）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 96-98,101
• 页数: 4页
• 分类号: TP311
• 字数: 5764字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.17.033

摘要

Hohn F E提出用S-不变量判定Petri网不可达性的一个方法.Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定.然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性.如果存在的话,又该如何求取这些模-n S-不变量,Desel J并未就这两个问题给出答案.该文提出了有效模-n S-不变量的概念,将上述问题转化为有效模-n S-不变量的存在性问题,并借助矩阵的整数分解给出了寻找有效模-n S-不变量的方法,有效解决了利用模-n S-不变量进行不可达性判定的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鲁法明	山东科技大学信息学院	27	101	4.0	8.0
2	岳昊	山东科技大学信息学院	9	57	5.0	7.0
3	包云霞	山东科技大学理学院	15	51	4.0	6.0