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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。