KMS Of Academy of mathematics and systems sciences, CAS
notesonlivenessandboundednessofextendedstrongasymmetricchoicenets | |
Lu WM(陆维明); Jiao L(焦莉) | |
2001 | |
发表期刊 | journalofcomputerscienceandtechnology |
ISSN | 1000-9000 |
卷号 | 016期号:005页码:426 |
摘要 | 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Ⅱ. |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/47820 |
专题 | 中国科学院数学与系统科学研究院 |
作者单位 | 中国科学院数学与系统科学研究院 |
推荐引用方式 GB/T 7714 | Lu WM,Jiao L. notesonlivenessandboundednessofextendedstrongasymmetricchoicenets[J]. journalofcomputerscienceandtechnology,2001,016(005):426. |
APA | 陆维明,&焦莉.(2001).notesonlivenessandboundednessofextendedstrongasymmetricchoicenets.journalofcomputerscienceandtechnology,016(005),426. |
MLA | 陆维明,et al."notesonlivenessandboundednessofextendedstrongasymmetricchoicenets".journalofcomputerscienceandtechnology 016.005(2001):426. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[陆维明]的文章 |
[焦莉]的文章 |
百度学术 |
百度学术中相似的文章 |
[陆维明]的文章 |
[焦莉]的文章 |
必应学术 |
必应学术中相似的文章 |
[陆维明]的文章 |
[焦莉]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论