CSpace

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

限定条件    
已选(0)清除 条数/页:   排序方式:
On liveness and boundedness of asymmetric choice nets 期刊论文
THEORETICAL COMPUTER SCIENCE, 2004, 卷号: 311, 期号: 1-3, 页码: 165-197
作者:  Jiao, L;  Cheung, TY;  Lu, WM
收藏  |  浏览/下载:92/0  |  提交时间:2018/07/30
analysis  asymmetric choice nets  characterization  liveness and boundedness  well-formedness  theory of Petri nets