基于Petri网的服务网格自动信任协商模型

机译：基于改进的彩色定时Petri网的自动信任协商模型

机译：基于Petri网的基于方面的Web服务组合模型

机译：基于不完全信息动态博弈的自动信任协商模型

机译：基于网格服务自动信任协商的两个分层信任模型选择

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

机译：基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测

机译：用于保护网格的新型自动信任协商框架

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

机译：程序，列车服务适应Petri网模型生成设备，列车威慑安排支持设备，列车服务适应Petri网模型生成方法和列车威慑安排支持方法

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

机译：创建车辆表面模型的方法，包括在给定表面上提供一组点以创建网格，并手动更改基于网格确定的表面模型以生成相对于局部表面区域的修改模型