Unified modeling language; Testing; Petri nets; Runtime; Object oriented modeling; Visualization; System of systems;
机译:使用扩展Petri网的基于模型的离散事件机器人系统的分层和分布式控制
机译:使用SysML和定时彩色Petri网模型测试分布式控制系统中的通信任务
机译:联邦和异构分布式系统的在线测试
机译:拓展培养网的分布式和异构系统在线测试
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:异构无线接入网在线分布式用户协会
机译:进行联邦和异构分布式系统的在线测试