中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Analysis of properties of Petri synthesis net 期刊论文
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 576-587
作者:  Xia, Chuanliang
收藏  |  浏览/下载：108/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
收藏  |  浏览/下载：119/0  |  提交时间：2018/07/30
analysis  asymmetric choice nets  characterization  liveness and boundedness  well-formedness  theory of Petri nets