| 基于Petri网的电子政务工作流模型研究 |
| |
| 引用本文： | 胡金柱,焦金丹,胡燕,鲁志兵.基于Petri网的电子政务工作流模型研究[J].计算机工程与应用,2007,43(2):199-201,213. |
| |
| 作者姓名： | 胡金柱 焦金丹 胡燕 鲁志兵 |
| |
| 作者单位： | 华中师范大学计算机科学与技术系 武汉430079 |
| |
| 基金项目： | 国家重点实验室基金
,
湖北省科技攻关计划 |
| |
| 摘 要： | 设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程,并保证了正确性和合理性资源分配的分析结果对合理的进行资源分配有指导作用。
|
| 关 键 词： | 工作流 Petri网 建模 正确性分析 资源分配 |
| 文章编号： | 1002-8331（2007）02-0199-03 |
| 修稿时间： | 2006-08 |
Research on EGS using workflow model based on Petri net |
| |
| HU Jin-zhu,JIAO Jin-dan,HU Yan,LU Zhi-bing.Research on EGS using workflow model based on Petri net[J].Computer Engineering and Applications,2007,43(2):199-201,213. |
| |
| Authors: | HU Jin-zhu JIAO Jin-dan HU Yan LU Zhi-bing |
| |
| Affiliation: | Department of Computer Science and Technology,Central China Normal University,Wuhan 430079,China |
| |
| 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. |
| |
| Keywords: | workflow Petri net modeling soundness analysis resource allocation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
