Web服务是一种面向服务的分布式计算模型，它提供一种平台独立、自描述、分布式的软件组件，是实现业务流程的一种松散耦合、应用互操作的平台。　　 单一的Web服务难以满足目前复杂的企业应用需求，必须对Web服务进行组合和集成，才能发挥Web服务的巨大潜力。Web服务组合的关键目标是Web服务流程集成和协作，而Web服务流程模型的建立是Web服务流程集成和协作的重要环节。　　 首先，本文从Web服务集成工作流的角度出发，对Web服务流程建模的多种方法分析和比较，得出Petri网在流程建模方面具有得天独厚的优势。　　 其次，本文给出Petri网的基本概念、基本性质以及主要的分析技术和方法。由于其具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于业务流程建模和流程优化。　　 再次，本文在Petri网的基础上给出Web服务流程网(WSFN)的概念，详细分析了基于Petri网建模的步骤，建立Web服务流程的Petri网模型，同时用Petri网强有力的分析技术和手段保证建立模型的正确性。鉴于BPEL4WS在Web服务组合方面的优势，本文实现Web服务流程的Petri网模型和BPEL4WS模型的相互转换。　　 然后，本文对基于Petri网的流程建模过程中可达性算法和动态仿真的关键步骤进行分析，为Web服务流程的Petri网模型正确性验证提供理论基础。　　 最后，本文给出基于Petri网的Web服务流程建模的实际应用，将实际的业务流程转换成Petri网模型，并利用Petri网的可达性和动态仿真技术验证模型的正确性，达到预期的效果。　　 本文最后给出相关结论，进行相关总结，并提出有待改进和完善的方向。