| Petri网的活性与安全性的理论研究 |
| |
| 引用本文： | 牟行军,宋文.Petri网的活性与安全性的理论研究[J].西华大学学报(自然科学版),2006,25(3):86-89. |
| |
| 作者姓名： | 牟行军 宋文 |
| |
| 作者单位： | 西华大学数学与计算机学院,四川,成都,610039 |
| |
| 摘 要： | 针对Petri网的子类的活性和安全性，对AC网的子类，扩展的强化非对称选择网（ESAC）进行了再一次扩张，定义了新扩展的强化非对称选择网（NESAC）。通过对NESAC的活性与安全性的讨论，得到了非对称选择网（AC）的一个大类的某些性质判定；进而讨论了AC网的活性和安全性，得到了一个有效的算法。该课题研究了网的合成的一些基本性质，从理论上讨论了AC网的活性特征。
|
| 关 键 词： | Petri网 非对称选择网 活性 安全性 算法 |
| 文章编号： | 1673-159X(2006)03-0086-04 |
| 收稿时间： | 2006-03-01 |
| 修稿时间： | 2006年3月1日 |
Theoretical Research on Liveness and Safetyness of Petri Nets |
| |
| MU Xing-jun,SONG Wen.Theoretical Research on Liveness and Safetyness of Petri Nets[J].Journal of Xihua University:Natural Science Edition,2006,25(3):86-89. |
| |
| Authors: | MU Xing-jun SONG Wen |
| |
| Abstract: | In this paper the authors study the liveness and safety of Petri nets from different point of view. First, ESAC is extended to NESAC, liveness and safety of NESAC are discussed. The combination of NESAC and ESAC is a bigger subclass, moreover, the liveness and safety of general AC are studied. As a result an effective algorithm is obained. At last some characters about synthesize of nets are investigated, and character of liveness of AC is discussed as well. |
| |
| Keywords: | Petri nets asymmetric choice nets livessness safety algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
