随着经济全球化发展,越来越多的商业机构开始在全球经济领域来经营业务。为了适应竞争日益激烈的动态市场环境,许多商家开始在Internet上构建商业流程,并将自己专长的业务发布为Web服务提供给业务伙伴。在这种市场需求和现状的强烈刺激下,Web服务组合成为了学术界和工业界的研究热点,也成为实现动态业务流程自动化的重要方法之一。为了提高使用的有效性,Web服务质量问题(QoS)显得比较重要。Web服务质量的评价标准有:执行成本、执行时间、可靠性和声誉等几个经常使用的标准。本文主要是针对Web服务质量中的成本问题进行分析研究的。首先提出了价格时间Petri网(Price Time Petri Net,PTPN)模型,该模型是在时间Petri网的基础上扩展了价格信息而获得的,利用价格时间Petri网来描述Web服务组合问题,它便于定义服务组合和服务的编排规则。利用该模型,不仅可以对组合流程过程进行形式化的描述,还可以通过验证价格时间Petri网的各种特性如:活性、可达性、有界性等来保证服务组合的正确性和可靠性。然后对基于价格时间Petri网的Web服务组合模型使用状态空间计算方法,以及对扩展状态类增加价格参数的方法分析了模型的成本问题,并讨论了最小成本可达性问题。引用了一个算法,通过该算法可以计算出模型的最小成本,以此来满足用户对Web服务质量中成本最优的要求。最后给出一个基于价格时间Petri网Web服务组合实例。通过分析和实验得出:价格时间Petri网是一种很好的Web服务组合分析的工具,用价格时间Petri网对Web服务组合的最小成本问题研究是可行的。