对传统的工作流合理性验证方法进行了阐述, 并分析了这些方法的优缺点, 着重针对国内外学者用Petri网对工作流合理性验证方法进行综述, 分析其特点, 并指出了工作流的合理性验证的发展方向。