A formal correctness analysis method of EWF_net was given based on the analysis techniques of Petri-net.

• 在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方法.