BPEL(Business Process Execution Language,流程执行语言)是一种广泛应用于支撑跨组织协同的服务组合标准。分析BPEL语言构造的流程的性能提供了一种有效的制造更可靠的跨工作流应用的方法。基于广义随机Petri网,本文提出了BPEL的一种模型,详细地描述了BPEL的语法语义,活动的状态和BPEL的执行机制与过程。最后,本文进行了案例的分析,说明该模型可以有效支持服务组合定量分析并对未来工作进行了展望。