基于Petri网的工作流合法性验证综述  

Survey:legitimacy verification of workflow based on Petri net

作　　者：黄瑜岳[1] 李克清[1] 

机构地区：[1]常熟理工学院,江苏常熟215500

出　　处：《计算机应用研究》2013年第1期26-29,共4页Application Research of Computers

基　　金：江苏省科技计划资助项目(BE2011376);苏州市科技计划资助项目(SYND201002)

摘　　要：对传统的工作流合理性验证方法进行了阐述,并分析了这些方法的优缺点,着重针对国内外学者用Pe-tri网对工作流合理性验证方法进行综述,分析其特点,并指出了工作流的合理性验证的发展方向。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网 合法性验证 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]