Verification of computing grids with special edge conditions by infinite Petri nets

机译：无限Petri网验证特殊边缘条件下的计算网格

机译：用无穷Petri网验证六角形通信网格

机译：通过无穷Petri网和过程代数验证Hypertorus通信网格

机译：平方通信网格协议的验证 r nVIA无限PETRI网络

机译：网格流：具有Petri网接口的基于网格的科学工作流程系统。

机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。

机译：无限培养网验证三角通信网格协议

机译：计算科学：基于petri网展开的并行LTL-X模型检验的可预测性验证

机译：数据学习服务器，空调，控制空调的用户终端，网络系统，从数据学习服务器生成学习模型的方法，从学习服务器数据使用学习模型的方法，提供推荐温度的方法空调，从用户终端控制空调的方法，生成包括空调和模型服务器学习的网络系统的学习模型的方法，用于在网格系统中提供推荐温度的方法以及用于控制空调的方法网格系统中的空调

机译：通过使用Petri-Net建模验证工业互联网系统中包含的无人机的方法

机译：Petri网建模的事物系统工业互联网中包含的无人机验证方法