As the analysis model of DWF_net,AWF_net peeled the semantic information of specific case from DWF_net. And all achievements of analysis techniques of Petri nets could be directly used to analyze models.

• 工作流分析模型作为工作流描述模型的分析模型,剥离了工作流描述模型个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型。