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

摘要：

设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则.并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程.最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析.此建模方法简化了Petri网的建模过程,并保证了正确性和合理性,资源分配的分析结果对合理的进行资源分配有指导作用.

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

所属期刊栏目：43

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点实验室基金SKLSE-018;湖北省科技攻关计划2005AA101C43

在线出版日期：2007-03-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：199-201,213