项目内容：该成果采用基于SOA、P2P技术和智能代理的方法构建物联网管理体系结构，系统框架灵活、实用性强、扩展性好。其创新性表现为：①提出了一种复杂时间约束情况下的组合服务扩展广义随机Petri网建模方法及其化简规则，适用于对大多数物联网服务进行快速性能分析，为物联网服务自动化在线性能分析奠定了基础。②提出了一种基于时间约束Petri网的物联网实时系统建模与模型验证方法，保障了时间敏感性物联网服务的服务质量，同时有助于提高物联网的可用性和安全性。③提出了一种复杂服务功能约束情况下的服务选择冲突避免算法，较好地解决了复杂组合服务动态构建问题。