| 新扩展强化非对称选择网的活性 |
| |
| 引用本文： | 宋文,伊良忠,严兵.新扩展强化非对称选择网的活性[J].四川大学学报(自然科学版),2004,41(5):956-960. |
| |
| 作者姓名： | 宋文 伊良忠 严兵 |
| |
| 作者单位： | 西华大学计算机与数理学院,成都,610039 |
| |
| 基金项目： | 四川省科技厅应用基础课题(03226125) |
| |
| 摘 要： | 利用Petri网结构理论与对偶性，在非对称选择网(AC)中找到了一个子类：新扩展强化非对称选择网(NESAC)，它包含了强化非对称选择网(SAC)与扩展强化非对称选择网(ESAC)对称．给出了NESAC网结构活判定的充分必要条件以及它们的证明。
|
| 关 键 词： | 非对称选择网 网结构 扩展 子类 Petri网 SAC 判定 充分必要条件 对偶性 证明 |
| 文章编号： | 0490-6756(2004)05-0956-05 |
Liveness of New Extended Strong Asymmetric Choice Nets |
| |
| SONG Wen,YI Liang-zhong,YAN Bing.Liveness of New Extended Strong Asymmetric Choice Nets[J].Journal of Sichuan University (Natural Science Edition),2004,41(5):956-960. |
| |
| Authors: | SONG Wen YI Liang-zhong YAN Bing |
| |
| Abstract: | Based on the structural theory and the duality of Petri Nets, a subclass of Asymmetric Choice Nets(AC), New Extended Strong Asymmetric Choice Nets(NESAC), is defined. NESAC nets includes Strong Asymmetric Choice Nets(SAC) and is symmetric to Extended Strong Asymmetric Choice Nets. Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness. |
| |
| Keywords: | AC net(asymmetric choice) liveness structural liveness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
