中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Petri网共享P型子网合成及其在系统设计中的应用 期刊论文
系统仿真学报, 2007, 卷号: 19.0, 期号: 002, 页码: 355-360
作者:  夏传良;  鞠彦兵
收藏  |  浏览/下载：79/0  |  提交时间：2021/01/14
Petri网  合成  系统设计  有界性  活性  
Analysis of properties of Petri synthesis net 期刊论文
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 576-587
作者:  Xia, Chuanliang
收藏  |  浏览/下载：83/0  |  提交时间：2018/07/30
Petri nets  analysis  synthesis  liveness and boundedness  
Petri网化简操作及其在系统验证中的应用 期刊论文
计算机科学, 2006, 卷号: 33.0, 期号: 009, 页码: 235-240
作者:  夏传良;  徐进
收藏  |  浏览/下载：78/0  |  提交时间：2021/01/14
Petri网  化简操作  活性  有界性  系统验证  柔性制造系统  
On liveness and boundedness of asymmetric choice nets 期刊论文
THEORETICAL COMPUTER SCIENCE, 2004, 卷号: 311, 期号: 1-3, 页码: 165-197
作者:  Jiao, L;  Cheung, TY;  Lu, WM
收藏  |  浏览/下载：89/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
收藏  |  浏览/下载：93/0  |  提交时间：2018/07/30
asymmetric choice net (ACN)  extended strong asymmetric choice nets II  (ESACN II)  liveness  boundedness  algorithm  polynomial time  
notesonlivenessandboundednessofextendedstrongasymmetricchoicenets 期刊论文
journalofcomputerscienceandtechnology, 2001, 卷号: 016, 期号: 005, 页码: 426
作者:  Lu WM(陆维明);  Jiao L(焦莉)
收藏  |  浏览/下载：82/0  |  提交时间：2020/01/10
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ 期刊论文
计算机科学技术学报：英文版, 2001, 卷号: 16.0, 期号: 005, 页码: 426-433
作者:  Lu WM(陆维明);  Jiao L(焦莉)
收藏  |  浏览/下载：73/0  |  提交时间：2021/01/14
Petri网  非对称选择网  局限性