中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Analysis of properties of Petri synthesis net 期刊论文
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 576-587
作者:  Xia, Chuanliang
收藏  |  浏览/下载：81/0  |  提交时间：2018/07/30
Petri nets  analysis  synthesis  liveness and boundedness  
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  
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  
加权非对称选择网活性和有界性分析 期刊论文
软件学报, 2001, 卷号: 012, 期号: 012, 页码: 1843
作者:  陆维明;  焦莉
收藏  |  浏览/下载：15/0  |  提交时间：2020/01/10
扩展强化非对称选择网的活性和有界性 期刊论文
软件学报, 2001, 卷号: 012, 期号: 009, 页码: 1312
作者:  陆维明;  焦莉
收藏  |  浏览/下载：90/0  |  提交时间：2020/01/10