提出一种新的模型-DPE网，用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模，从而得到更为直观的模型。基于DPE网，不仅描述了WS-BPEL流程的基本控制流，包括基本活动和各种结构化活动，而且描述了WS-BPEL流程的死路删除语义和较完整的link语义，包括join condition和transition condition。最后，通过一个实例说明了使用DPE网建模WS-BPEL流程，有助于得到
