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

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

作　　者：高嵩[1] 欧阳昱[1] 刘玉树[1] 

机构地区：[1]北京理工大学计算机系,北京100081

出　　处：《计算机仿真》2004年第6期182-184,193,194,共5页Computer Simulation

摘　　要：该文从工作流模型的基本结构出发 ,描述了模型结构的有向图表达方法与建模方式 ,提出了一种将有向图转化为Petri网的转换算法 ,说明Petri网与工作流网的关系 ,之后运用Petri网的分析技术来验证模型的正确性 。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.

关 键 词：工作流模型 有向图表示 PETRI网 验证方法 电子政务 

分 类 号：D63[政治法律—政治学] TP391.9[政治法律—中外政治制度]