QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 HYBRID PERFORMANCE MODELING AND ANALYZING OF PARALLEL SYSTEMS 期刊论文 INTERNATIONAL JOURNAL OF NUMERICAL ANALYSIS AND MODELING, 2012, 卷号: 9, 页码: 232-246 作者:  Cheng, Bin[1];  Tong, Weiqin[2];  Wang, Xingang[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30 Timed Coloured Petri Net  parallel system  formal method   Deadlock control of autonomous vehicle storage and retrieval systems via coloured timed Petri nets and digraph tools 期刊论文 http://dx.doi.org/10.1080/00207540701832426, 2009 He, S. J.; Luo, J.; 罗键 收藏  |  浏览/下载：5/0  |  提交时间：2013/12/12 autonomous vehicle storage and retrieval systems  autonomous vehicle system  coloured timed Petri net  route digraph  cycle-deadlock