中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Characterizing liveness of Petri nets in terms of siphons 期刊论文
APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 卷号: 2360, 页码: 203-216
作者:  Jiao, L;  Cheung, TY;  Lu, WM
收藏  |  浏览/下载：76/0  |  提交时间：2018/07/30
asymmetric choice net  characterization  homogeneous  live  liveness monotonicity  Petri net  siphon  
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
收藏  |  浏览/下载：93/0  |  提交时间：2018/07/30
asymmetric choice net (ACN)  extended strong asymmetric choice nets II  (ESACN II)  liveness  boundedness  algorithm  polynomial time