随着Web服务组合的广泛应用，其性能越来越受到人们的重视。通过分析Web服务组合的性能，可以找出性能缺陷，满足用户对性能的Qos需求，因此对Web服务组合进行性能分析是一件十分有必要的事情。由于存在“状态空间爆炸”问题，目前国内外研究中提出的一些性能模型很难分析复杂的Web服务组合的性能。针对这样的问题，本文使用了一种着色赋时Petri网（CTPN）来对业务流程语言BPEL进行性能建模。着色赋时Petri网是一种图形化的建模工具，在描述系统的并行，分支，同步等行为方面具有一定的优势；由于它引入了时间、颜色等概念，有效地抑制了“状态空间爆炸”问题的发生。本文的工作主要集中于BPEL到CTPN模型的转换，以及利用CTPN模型分析工具CPN-Tools分析由BPEL描述的Web服务组合的性能，主要贡献如下：1.本文给出了BPEL中原子活动和结构化活动到CTPN的映射规则，实现了BPEL流程到CTPN模型的转换。2.根据转换规则将一个由BPEL流程描述的Web服务组合实例转换为对应的CPTN模型，并利用CPN-Tools中的两种不同分析工具对模型进行性能分析。首先，它通过状态空间分析工具对CTPN模型生成标准的状态空间报告，该报告说明CTPN模型具有有界性和活性的特性，验证了Web服务组合的合理性。其次，它通过Monitor监控器收集了排队时间、响应时间等性能指标的模拟数据，并分析了在改变客户到达率和Web服务时间时这些性能指标的变化趋势，从而提出了性能优化方法。