| 新扩展强化非对称选择网的有界性与单调性 |
| |
| 引用本文： | 宋文,伊良忠,牟行军.新扩展强化非对称选择网的有界性与单调性[J].西南交通大学学报,2004,39(5):656-659. |
| |
| 作者姓名： | 宋文 伊良忠 牟行军 |
| |
| 作者单位： | 西华大学计算机与数理学院,四川,成都,610039 |
| |
| 基金项目： | 四川省科技厅应用基础项目(03226125) |
| |
| 摘 要： | 根据Petri网结构理论，讨论非对称选择网(AC)的一个子类：新扩展强化非对称选择网(NESAC)的有界性与活性单调性，判定NESAC网N结构有界的充分必要条件是，N被极小死锁簇覆盖，每个非空极小死锁H一定是个陷阱且满足|t^*∩|=|t^*∩H|=1，NESAC网仍然具有ESAC活性单调性的特征。
|
| 关 键 词： | 非对称选择网（AC网） 结构活 活性单调性 结构有界 |
| 文章编号： | 0258-2724(2004)05-0656-04 |
Boundedness and Liveness Monotonicity of New Extended Strong Asymmetric Choice Nets |
| |
| SONG Wen,YI Liang-zhong,MU Xing-jun.Boundedness and Liveness Monotonicity of New Extended Strong Asymmetric Choice Nets[J].Journal of Southwest Jiaotong University,2004,39(5):656-659. |
| |
| Authors: | SONG Wen YI Liang-zhong MU Xing-jun |
| |
| Abstract: | |
| |
| Keywords: | AC net(asymmetric choice nets) structural liveness liveness monotonicity structural boundedness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
