中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

已选(0)清除 条数/页：   排序方式：
On liveness and boundedness of asymmetric choice nets 期刊论文
THEORETICAL COMPUTER SCIENCE, 2004, 卷号: 311, 期号: 1-3, 页码: 165-197
作者:  Jiao, L;  Cheung, TY;  Lu, WM
收藏  |  浏览/下载：120/0  |  提交时间：2018/07/30
analysis  asymmetric choice nets  characterization  liveness and boundedness  well-formedness  theory of Petri nets  
Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 卷号: 16, 期号: 5, 页码: 426-433
作者:  Jiao, L;  Lu, WM
收藏  |  浏览/下载：117/0  |  提交时间：2018/07/30
asymmetric choice net (ACN)  extended strong asymmetric choice nets II  (ESACN II)  liveness  boundedness  algorithm  polynomial time