中文版 | 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
收藏  |  浏览/下载：86/0  |  提交时间：2018/07/30
analysis  asymmetric choice nets  characterization  liveness and boundedness  well-formedness  theory of Petri nets  
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
收藏  |  浏览/下载：73/0  |  提交时间：2018/07/30
asymmetric choice net  characterization  homogeneous  live  liveness monotonicity  Petri net  siphon