面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义，构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网，提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境，如环境属性、活动之间的相互作用等，给出更为精确的模型，为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。