基于TCPN的LBS动态服务组合建模与验证 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011).pdf
<p>本文提出基于时间约束Petri网（TCPN）的LBS动态服务组合建模方法，用于解决位置服务中服务动态变化的问题。通过引入时间约束和动态组合机制，实现了对服务流程的精确控制与验证。该方法在CCF NCSC2011会议上发表，为LBS服务组合提供了有效的建模与分析工具。</p>文档为pdf格式，0.44MB，总共6页。</br>
<img src="https://d.z3060.com/docthumbnail/202512/14/3rtemjbjcih.webp" title="基于TCPN的LBS动态服务组合建模与验证 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)" alt="基于TCPN的LBS动态服务组合建模与验证 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)">
页:
[1]