基于Petri网的电子政务工作流模型研究  

Research on EGS using workflow model based on Petri net

作　　者：胡金柱[1] 焦金丹[1] 胡燕[1] 鲁志兵[1] 

机构地区：[1]华中师范大学计算机科学与技术系,武汉430079

出　　处：《计算机工程与应用》2007年第2期199-201,213,共4页Computer Engineering and Applications

基　　金：国家重点实验室开放研究基金(SKLSE-018);湖北省重点科技公关项目(2005AA101C43)。

摘　　要：设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程,并保证了正确性和合理性资源分配的分析结果对合理的进行资源分配有指导作用。This paper models and analyses the Electronic Government Systern（EGS） using workflow based on Petri net,firstly,a approach for complicated workflow model design and associated rules are presented,then the workflow-net model of the checking subsystem of EGS is built with the approach and associated rules.At last,the soundness of the model is proved based on the theories of Petri net,at the same time,the resource allocation of the subsystem is analyzed.This modeling method simplifies the process of modeling,ensures the correctness and soundness.The result of the resource allocation shows the advantage of the reasonable resource allocation.

关 键 词：工作流 PETRI网 建模 正确性分析 资源分配 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]