| 有效模-n S-不变量与不可达性判定 |
| |
| 引用本文： | 鲁法明,包云霞,岳 昊.有效模-n S-不变量与不可达性判定[J].计算机工程,2007,33(17):96-98,101. |
| |
| 作者姓名： | 鲁法明 包云霞 岳 昊 |
| |
| 作者单位： | [1]山东科技大学信息学院,青岛266510 [2]山东科技大学理学院,青岛266510 |
| |
| 基金项目： | 国家自然科学基金资助项目（60173053） |
| |
| 摘 要： | HolmFE提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出，存在某些标识，用S-不变量无法判定其不可达性，但利用模-nS-不变量却可加以判定。然而，对于一个给定的标识，是否存在模-nS-不变量能判定该标识的不可达性。如果存在的话，又该如何求取这些模-nS-不变量．DeselJ并未就这两个问题给出答案。该文提出了有效模-nS-不变量的概念，将上述问题转化为有效模-nS-不变量的存在性问题，并借助矩阵的整数分解给出了寻找有效模-nS-不变量的方法，有效解决了利用模-nS-不变量进行不可达性判定的问题。
|
| 关 键 词： | Petri网 模-nS-不变量 不可达性 |
| 文章编号： | 1000-3428（2007）07-0096-03 |
| 修稿时间： | 2006-09-25 |
Effective Modularo-n S-invariant and Non-reachability Decidability |
| |
| LU Fa-ming, BAO Yun-xia ,YUE Hao.Effective Modularo-n S-invariant and Non-reachability Decidability[J].Computer Engineering,2007,33(17):96-98,101. |
| |
| Authors: | LU Fa-ming BAO Yun-xia YUE Hao |
| |
| Abstract: | |
| |
| Keywords: | Petri nets modular-n S-mvariant non-reachability property |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
