CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Modeling and Analysis of CPS Availability Based on The Object-oriented Timed Petri Nets 会议论文
2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018-01-01
作者:  Yang, Yi;  Xu, Wei;  Wang, Sixin;  Wei, Kunlun
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Priced timed petri nets based resource allocation strategy for fog computing 会议论文
2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016, October 20, 2016 - October 21, 2016
作者:  Ni, Lina;  Zhang, Jinquan;  Yu, Jiguo
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/31
Priced Timed Petri Nets Based Resource Allocation Strategy for Fog Computing 会议论文
International Conference on Identification, Information and Knowledge in the Internet of Things (IIKI), OCT 20-21, 2016
作者:  Ni, Lina;  Zhang, Jinquan;  Yu, Jiguo
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
The New Method of Liveness Verification with Object-Oriented Timed Petri Nets 会议论文
2015 SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATIONAL INTELLIGENCE (ICACI), 2015-01-01
作者:  Zhang, Xinju;  Yao, Shuzhen
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06
Bank Switching Performance Verification With Object-oriented Timed Petri nets 会议论文
PROCEEDINGS OF THE 2013 IEEE 8TH CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2013-01-01
作者:  Zhang, Xinju
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
timed modeling and verification of bpel processes using time petri nets 会议论文
9th International Conference on Quality Software, QSIC 2009, Jeju, Korea, Republic of, August 24,
Song Wei; Ma Xiaoxing; Ye Chunyang; Dou Wanchun; L&#; Jian
收藏  |  浏览/下载：17/0  |  提交时间：2011/03/20
Timed Petri nets model on bell-type batch annealing process and its simulation using SystemC platform 会议论文
17th IFAC World Congress
作者:  Liu QL(刘全利);  Wang W(王伟);  Zhao J(赵珺)
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/27
Analysis of Fairness in Payment Protocols based on Timed Coloured Petri Nets 会议论文
International Conference on Modelling, Identification and Control 2008 (Shanghai)
作者:  Liu WQ(刘文琦);  Gu H(顾宏);  Yang JH(杨建华)
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/27
Timed Petri-Net(TPN) based scheduling holon and its solution with a Hybrid PSO-GA based evolutionary algorithm(HPGA) 会议论文
Guilin, China, August 7, 2006 - August 11, 2006
作者:  Zhao, Fuqing;  Yang, Yahong;  Zhang, Qiuyu;  Yi, Huawei
收藏  |  浏览/下载：17/0  |  提交时间：2020/11/15
Hierarchical timed colored Petri Nets based product development process modeling 会议论文
8th International Conference on Computer Supported Cooperative Work in Design I, CSCWD 2004, Xiamen, China, 2004-05-26
作者:  Huang, Hong-Zhong;  Zu, Xu
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/02

©版权所有 ©2017 CSpace - Powered by CSpace