| 摘要: |
| 本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件. |
| 关键词: 非对称选择网(AC网),强化AC网,活性,活性单调性,结构活. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和中国科学院管理、决策与信息开放实验室基金资助. |
|
| On Liveness of Asymmetric Choice Nets |
|
ZHEN Qiang,LU Wei-ming
|
| Abstract: |
| In this paper, the sufficient and necessary condition of liveness monotonicity in AC(asymmetric choice) nets is presented. Moreover, the liveness monotonicity for a class of AC nets, the sufficient and necessary condition of structure liveness, is proved. |
| Key words: AC nets (normalsize asymmetric choice nets), strong AC nets, liveness, liveness monotonicity, structure liveness |
