This paper analysed the traditional leqitimacy verfication of workflow method, and presented its advantages and disadvantages. And then focused on the workflows reasonable verification method based on Petri net researched by domestic and foreign scholars and analyzed the characteristics. At the end, this paper concluded the development direction of rationality validation workflow.%对传统的工作流合理性验证方法进行了阐述,并分析了这些方法的优缺点,着重针对国内外学者用Petri网对工作流合理性验证方法进行综述,分析其特点,并指出了工作流的合理性验证的发展方向.
展开▼