论文部分内容阅读
Petri网是一种适合描述Web服务组合的建模方法,但是它无法对Web服务的服务质量（QoS）进行建模和分析。为此,将用户最为关心的服务时间、价格和概率3种QoS因素引入到Petri网模型中进行建模,提出了概率时间价格Petri网PTCPN,给出了PTCPN的语义及分析求解算法,并进行了实例建模和分析。结果表明,PTCPN可以有效支持服务组合功能和QoS的形式化统一建模和分析。