基于Petri网的工作流建模合理性验证算法  

Workflow modeling rationality validation algorithm based on Petri-net

作　　者：郝玫[1] 王道平[1] 

机构地区：[1]北京科技大学经济管理学院,北京100083

出　　处：《计算机工程与应用》2008年第13期228-231,共4页Computer Engineering and Applications

摘　　要：Petri网是一种适用于多种系统的图形化、数学化的建模工具,并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析,完善并改进了一种基于Petri网的工作流模型合理性验证算法,最后用实例验证了该算法的正确性。Petri-net is a graphic and mathematical modeling tool that can be applied to,variety systems.In addition,it can provide the techniques and tools for the workflow model structural analysis and performance evaluation.Based on the analysis of the existing workflow rationality validation theorems and algorithms,a rationality validation algorithm is perfected and mended,and at last the correctness of this algorithm is verified by an example,

关 键 词：工作流模型 PETRI网 合理性 验证算法 

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