基于petri网与工作流建模的电子政务办公系统构建

《基于petri网与工作流建模的电子政务办公系统构建》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、基于Petri网与工作流建模的电子政务办公系统构建摘要：通过对基于Petri网的工作流建模技术的描述，介绍了与此相关的核心技术，研究分析了实际工作过程中电子政务办公系统中的发文管理的业务流程，引入了Petri网和工作流建模技术，结合具体实例提出了一种基于Petri网的电子政务办公工作涼模型，并对该模型逬行了可达性骏证和合理性验证，二次开发后的骏证结果和实践表明该模型能够有戏地改善和提高电子政务办公系统的效率和实用性・关键词：Petri网*电子政务$工作流；建模电子政务系统是而向企业、各政府部门机构及社会公共管理的基于互联网技术的信息处

2、理和信息服务的系统。电子政务系统的出现使它成为政府各部门管理社会、监管市场、管理经济、以及公共服务的一项重要举措，是利用现代信息技术来提高政府各部门依法管理的行政水平的体现。在国家及各级政府部门的大力支持下，我国的电子政务得到了飞速的发展,市场规模也得到了空前的发展，根据《中国电子政务行业发展前景与投资战略规划分析报告前瞻》的数据显示，从2006年的市场规模550亿元已经发展到2012年的1390亿元，同比增长17.3%.为了能使政务工作更精简、更透明、更有效、更公平以及为企业和居民提供更优质的服务，我们设计了基于Petri网的工作流

3、建模技术的电子政务办公系统。1基于Petri网的工作流建模技术1.1Petri网基本概念Petri网［1］概念的最早出现是由CareAdamPe-tri在1962年的博士论文中提出来的，它可用来描述和分析具有并行性、异步性、并发性、井确定性和分布式等具有这些特点的信息处理系统，同时它也是一种图形化的数学建模工具。Petri网主要是用来描述系统的状况、局部状态以及条件等，经典的Petri网就是一种简单的过程模型，它是由有向弧、变迁、令牌以及库所等这些元素组成，变迁是用方框来表示，库所一般用圆圈来表示，它们是用于描述信息处理系统状况的事件

4、，库所与变迁之间相连接的有向弧是表示它们之间的转化关系；为了能够描述系统动态的信息转化，引入令牌标志，它用黑点表示；假设一个变迁的所有输入都有令牌标志，则该变迁就满足激活条件，该变迁可以发生，因此变迁输出将获得令牌。Petri网的定义［2］如下：Petri网是一个三元组N=(P,T,F);其中P是库所的非空有限集，T是变迁的非空有限集，且满足PnT=(D,F是N的有向弧集，F(PxT)U(TxP)(x为笛卡尔积).1.2工作流网基本概念在Petri网的基础上，Aalst提出了工作流网［3］(以下简称WF-net)的概念。WF-net是

5、将某种工作流模型转化成Petri网，进而完成对该工作流模型的评价，是对工作流中的控制流维度进行建模的Petri网。假设Petri网PN=(P,T,F)是WF-net,当且仅当：(1)存在一个源库所iep,使得•详①；(2)每一个节点xepUT都位于从i到o的一条路径上。(3)存在一个汇结库所oWP,使得o=(D；假如仅只有一个从P到t的有向弧，这样的话库所P是变迁t的输入库所。同样，如果当且仅当存在一个从t到P的有向弧,那么库所P称做变迁t的输出库所。通常习惯用・P表示库所P的输入变迁的集合，P•表示库所P的所有输出变迁的集合，表示变

6、迁t的输入库所的集合，t•表示变迁t的所有输出库所的集合。上面定义中的第2项是为了能更好的消除“没必要的条件和任务：因为任何一个被WF-net过程处理过的实例都会在它本身进入工作流管理系统时被自动创建，并且一经被工作流管理系统处理完成就马上被自动删除；换句话说，WF-net定义了一个实例的生命周期。每个WF-net都包含一个输入库所i和一个输出库所o,因此所有的活动与条件都位于起始点到终止点的通道上。2基于Petri网的工作流模型设计2.1电子政务办公系统中的工作流程对业务实现和业务过程逻辑进行分离是设计办公系统的主要理念，也是基于工

7、作流的电子政务办公系统的设计理念,所以设讣电子政务系统需要解决的关键问题是怎样来构建电子政务的业务过程逻辑。电子政务办公系统中的工作流模型描述的是政府部门和机关事业单位tl常办公业务流程，对象是面向政府工作人员。本文以江西吉安市的电子政务办公系统为例,将办公系统分为以下几个模块，包括公文管理、内部事务、领导指示、会议通知、个人资料、内部邮件等模块,其中公文管理是电子政务办公系统中的核心部分，包括收文、发文等模块。本文以某委办局发文流程为例进行描述。如图1所示，是一个电子政务办公系统发文的流程实例。从科室开始撰稿，提交科室领导会签后，经

8、过分管领导审核、局领导审批，最后到办公室发文及归档。其中科室领导会签是选择路径走向，局办公室领导批阅并提交给分管领导时是并行路由，以上流程是比较理想、顺利的工作流程模型。2.2模型设计将系统中的工作流模型转化成Petri