工作流模型的有向图表示及基于Petri网的验证方法

该文从工作流模型的基本结构出发，描述了模型结构的有向图表达方法与建模方式，提出了一种将有向图转化为Petri网的转换算法，说明Petri网与工作流网的关系，之后运用Petri网的分析技术来验证模型的正确性，为电子政务领域内工作流模型的正确性验证提供了一种解决方案。

Workflow Model Expression by Directed Graph and Verification Based on Petri Net

This paper analyses workflow model's basic structure, describes the approach for expressing and modeling the structure using directed graph. In order to verify the correctness of workflow model, the paper illustrates the algorithm for transforming directed graph of workflow model into Petri net of workflow model, then explains the relation between gained Petri net and workflow Petri net. And the paper gives the technology to verify workflow process model's correctness based on Petri net. This solution can be applied to workflow management system(WfMS) in electronic government affairs.