中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ

文献类型:期刊论文

作者Lu WM(陆维明); Jiao L(焦莉)
刊名计算机科学技术学报:英文版
出版日期2001
卷号16.0期号:005页码:426-433
关键词Petri网 非对称选择网 局限性
ISSN号1000-9000
其他题名Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets Ⅱ
英文摘要In this paper,the Extended Strong,Asymmetric Choice NetsⅡ(ESACNⅡ),a subclass of Asymmetric Choice Nets(ACN) including Extended Free Choice Nets(EFCN) and Strong Asymmetric Choice Nets Ⅱ(SACNⅡ),is presented.A necessary and sufficient condition for liveress of ESACNⅡis proposed.Moreover,a criterion is introduced,which is necessary and sufficient for judgement of liveness and boundedness of ESACNⅡ,Meanwhile a polynomial time algoirithm is given to decide liveness and boundedness for ESACNⅡ.
语种中文
CSCD记录号CSCD:673109
源URL[http://ir.amss.ac.cn/handle/2S8OKBNM/57318]  
专题中国科学院数学与系统科学研究院
作者单位中国科学院数学与系统科学研究院
推荐引用方式
GB/T 7714
Lu WM,Jiao L. Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ[J]. 计算机科学技术学报:英文版,2001,16.0(005):426-433.
APA 陆维明,&焦莉.(2001).Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ.计算机科学技术学报:英文版,16.0(005),426-433.
MLA 陆维明,et al."Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ".计算机科学技术学报:英文版 16.0.005(2001):426-433.

入库方式: OAI收割

来源:数学与系统科学研究院

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。