| 论非对称选择网的活性 |
| |
| 引用本文： | 甄 强,陆维明. 论非对称选择网的活性[J]. 软件学报, 1998, 9(5): 354-359 |
| |
| 作者姓名： | 甄 强 陆维明 |
| |
| 作者单位： | 中国科学院数学研究所计算机科学室,北京,100080 |
| |
| 基金项目： | 本文研究得到国家自然科学基金和中国科学院管理、决策与信息开放实验室基金资助. |
| |
| 摘 要： | 本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件.
|
| 关 键 词： | 非对称选择网(AC网) 强化AC网 活性 活性单调性 结构活. |
| 收稿时间： | 1997-03-14 |
| 修稿时间： | 1997-05-21 |
On Liveness of Asymmetric Choice Nets |
| |
| ZHEN Qiang and LU Wei-ming. On Liveness of Asymmetric Choice Nets[J]. Journal of Software, 1998, 9(5): 354-359 |
| |
| Authors: | ZHEN Qiang and LU Wei-ming |
| |
| Affiliation: | Computer Science Department Institute of Mathematics The Chinese Academy of Sciences Beijing 100080 |
| |
| 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. |
| |
| Keywords: | AC nets (normalsize asymmetric choice nets) strong AC nets liveness liveness monotonicity structure liveness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
