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

摘要：

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

关键词：Petri网、模-n S-不变量、不可达性

所属期刊栏目：33

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

资助基金：国家自然科学基金60173053

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

页数：共4页

页码：96-98,101