Petri nets; digital simulation; grid computing; parallel processing; software performance evaluation; cluster computers; colored Petri nets; distributed simulation; distributed timed colored Petri net simulation; global guards; grid computers; logical time scheme; m;
机译:使用系统建模语言和有色Petri网的系统以网络为中心的系统的建模和仿真:以系统的全球地球观测系统为例的演示
机译:彩色模糊Petri网用于遗传调控网络的处理
机译:通过领导选举算法和彩色Petri-net利用分布式控制器提高软件定义网络的可靠性
机译:在彩色Petri网的分布式模拟中与全球警卫队打交道
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:分布式可再生能源发电系统中用于能源管理的多主体系统的有色Petri网建模
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用