Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II
文献类型：期刊论文
| 作者 | Jiao, L; Lu, WM |
| 刊名 | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| 出版日期 | 2001-09-01 |
| 卷号 | 16期号:5页码:426-433 |
| 关键词 | asymmetric choice net (ACN) extended strong asymmetric choice nets II (ESACN II) liveness boundedness algorithm polynomial time |
| ISSN号 | 1000-9000 |
| 英文摘要 | In this paper, the Extended Strong Asymmetric Choice Nets II (ESACN II), a subclass of Asymmetric Choice Nets (ACN) including Extended ace Choice Nets (EFCN) and Strong Asymmetric Choice Nets II (SACN II), is presented. A necessary and sufficient condition for liveness of ESACN Il is proposed. Moreover, a criterion is introduced, which is necessary and sufficient for judgement of liveness and boundedness of ESACN II. Meanwhile a polynomial time algorithm is given to decide liveness and boundedness for ESACN II. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000171323100004 |
| 出版者 | SCIENCE PRESS |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/16225]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | Jiao, L |
| 作者单位 | Chinese Acad Sci, Acad Math & Syst Sci, Math Inst, Div Comp Sci, Beijing 100080, Peoples R China |
| 推荐引用方式 GB/T 7714 | Jiao, L,Lu, WM. Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2001,16(5):426-433. |
| APA | Jiao, L,&Lu, WM.(2001).Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,16(5),426-433. |
| MLA | Jiao, L,et al."Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 16.5(2001):426-433. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。