Based on Petri nets,control variable was added to DWF_net and transition was classified as transition entry and transition body.

• 工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。