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

被引：1

作者：

鲁法明 ^{[1
]}

包云霞 ^{[2
]}

岳昊 ^{[1
]}

机构：

[1] 山东科技大学信息学院

[2] 山东科技大学理学院

来源：

计算机工程 | 2007年 / 17期

关键词：

Petri网; 模-n S-不变量; 不可达性;

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

摘要：

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

引用

页码：96 / 98+101 +101

页数：4