Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (13): 228-231.

• 工程与应用 • Previous Articles     Next Articles

Workflow modeling rationality validation algorithm based on Petri-net

HAO Mei,WANG Dao-ping   

  1. College of Economics and Management,University of Science and Technology Beijing,Beijing 100083,China
  • Received:2007-08-23 Revised:2007-11-19 Online:2008-05-01 Published:2008-05-01
  • Contact: HAO Mei

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

郝 玫,王道平   

  1. 北京科技大学 经济管理学院,北京 100083
  • 通讯作者: 郝 玫

Abstract: 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.

Key words: workflow model, petri-net, rationality, validation algorithm

摘要: Petri网是一种适用于多种系统的图形化、数学化的建模工具,并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析,完善并改进了一种基于Petri网的工作流模型合理性验证算法,最后用实例验证了该算法的正确性。

关键词: 工作流模型, Petri网, 合理性, 验证算法