首页 | 本学科首页   官方微博 | 高级检索  
     

论非对称选择网的活性
引用本文:甄 强,陆维明. 论非对称选择网的活性[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 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号