基于TCPN的LBS动态服务组合建模与验证

摘要：

针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证,同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性.

关键词：位置服务、时间约束Petri网、动态服务组合、可达性验证

所属期刊栏目：34

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61074135,71061001;上海市重点学科建设项目J50103

在线出版日期：2013-05-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：96-99