扩展强化非对称选择网的活性和有界性
Liveness and Boundedness of Extended Strong Asymmetric Choice Nets作者机构：中国科学院数学与系统研究院数学研究所北京100080
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2001年第12卷第9期
页 面：1312-1317页
核心收录：
学科分类：0711[理学-系统科学] 07[理学] 081104[工学-模式识别与智能系统] 08[工学] 0811[工学-控制科学与工程] 071102[理学-系统分析与集成] 081103[工学-系统工程]
基 金：国家自然科学基金资助项目 (6 0 0 730 13) 国家重点基础研究发展规划 973资助项目 (G19980 30 416 )~~
主 题：非对称选择网 活性 有界性 离散事件系统 Petri网
摘 要：给出了一类非对称选择网 (asymmetric choice net,简称 AC网 ) ,扩展了强化非对称选择网结构活的充分必要条件 ,证明了扩展强化非对称选择网如果是结构活的 ,其标识的活性是可判定的 .同时也证明了扩展强化非对称选择网活性的单调性 ,并给出其结构活和结构有界的充分必要条件 .
维普期刊数据库
同方期刊数据库