关键词: Petri网, 建模, 正确性分析, 资源分配, 工作流

Abstract: This paper models and analyses the Electronic Government System (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.

Key words: petri Net, modeling, soundness Analysis, resource allocation, workflow