基于TCPN的LBS动态服务组合建模与验证 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011).pdf

本文提出基于时间约束Petri网（TCPN）的LBS动态服务组合建模方法，用于解决位置服务中服务动态变化的问题。通过引入时间约束和动态组合机制，实现了对服务流程的精确控制与验证。该方法在CCF NCSC2011会议上发表，为LBS服务组合提供了有效的建模与分析工具。

文档为pdf格式，0.44MB，总共6页。

基于TCPN的LBS动态服务组合建模与验证 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011).pdf

文件大小:

450.56 KB

高速下载