已选(0)清除
条数/页: 排序方式:
|
| Petri net based test case generation for evolved specification 期刊论文 Science China(Information Sciences), 2016 Zuohua DING; Mingyue JIANG; Haibo CHEN; Zhi JIN; Mengchu ZHOU 收藏  |  浏览/下载:2/0  |  提交时间:2017/12/03
|
| Petri net based test case generation for evolved specification 期刊论文 Science China-Information Sciences, 2016 Ding, Zuohua; Jiang, Mingyue; Chen, Haibo; Jin, Zhi; Zhou, Mengchu 收藏  |  浏览/下载:5/0  |  提交时间:2017/12/04
|
| 一种基于Petri网的RFID事件检测的形式化方法 期刊论文 计算机研究与发展, 2012 孙基男; 黄雨; 黄舒志; 张世琨; 袁崇义 收藏  |  浏览/下载:5/0  |  提交时间:2015/11/12
|
| Formal method based on Petri nets to detect RFID event 期刊论文 jisuanji yanjiu yu fazhancomputer research and development, 2012 Sun, Ji' Huang, Yu; Huang, Shuzhi; Zhang, Shikun; Yuan, Chongyi; nan 收藏  |  浏览/下载:1/0  |  提交时间:2015/11/13 |
| A study on fairness of place/transition systems-to make fairness fairer 期刊论文 transactions of the institute of measurement and control, 2011 Yuan, Chongyi; Huang, Yu; Zhao, Wen; Li, Xinpeng 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13
|
| A Fuzzy Petri-Nets Model for Computing With Words 期刊论文 ieee transactions on fuzzy systems, 2010 Cao, Yongzhi; Chen, Guoqing 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/10
|
| 基于RFID发现服务的一种供应链建模技术 期刊论文 电子学报, 2010 李信鹏; 赵文; 刘殿兴; 袁崇义; 张世琨; 王立福 收藏  |  浏览/下载:4/0  |  提交时间:2015/11/12
|
| 操作表达式的Petri网表示 期刊论文 计算机科学与探索, 2010 袁崇义; 黄雨; 赵文; 黄舒志 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/12
|
| A supply chain modeling technology based on RFID discovery service 期刊论文 tien tzu hsueh paoacta electronica sinica, 2010 Li, Xin-Peng; Zhao, Wen; Liu, Dian-Xing; Yuan, Chong-Yi; Zhang, Shi-Kun; Wang, Li-Fu 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13 |
| Multiagent-based scheduling optimization for Intelligent Manufacturing System 期刊论文 international journal of advanced manufacturing technology, 2009 Guo, Qing-lin; Zhang, Ming 收藏  |  浏览/下载:3/0  |  提交时间:2015/11/10
|