机译:用彩色Petri网验证普适的云任务迁移
Department of Software Engineering, China University of Petroleum, No. 66 Changjiang West Road, Qingdao 266580, China;
colored Petri net; context information; pervasive cloud; task migration; validation;
机译:用彩色Petri网验证普适的云任务迁移
机译:基于遗传算法的普适云任务迁移方法
机译:使用SysML和定时彩色Petri网模型测试分布式控制系统中的通信任务
机译:基于CPN的普遍云任务迁移验证
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:一种基于遗传算法的普遍云中的任务迁移方法
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用