基于Petri网的电子政务工作流的建模及优化.pptxVIP

基于Petri网的电子政务工作流的建模及优化 2015年10月电子政务系统现有的电子政务系统大多采用结构化或者面向对象的设计方法，以清晰描述系统的层次结构和各模块间的信息流动，其中的面向对象的设计方法是目前得主流设计方法。但是电子政务系统是公众享受系统电子服务化的公共窗口，将会有很多不可预知的用户在同一时间访问系统，大量事件同时等待系统响应。基于Web 的电子政务系统如果能采用一个强调并发任务的系统设计模型, 则能更清楚地描述系统, 更有利于解决系统的关键问题。实践证明, Petri 网理论可被用在电子政务这个新领域来构建系统模型。流程优化优化必要性政府的业务流程即政务流程，为公众提供特定服务或者产品，一组相关的、结构化的、有清晰输入输出的活动的集合。由于政府中科层制金字塔形组织结构的特点，传统政府的组织结构和运行方式与当前生产力的不同步，导致政府的工作效率低。为改善这种情况，电子政务不能简单地将现有的业务流程原封不动的搬上计算机，而是对传统的流程进行优化。主要内容政务流程优化的原则基于工作的时间、地点和执行者，以及信息采集与集成，流程优化实施过程必须符合七个原则： petripetri网相关知识 Petri网(PetriNets,PN)是一种很有效的模型描述语言,它不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行的系统Petri 网由三元组N = ( S , T , F ) 构成，S 和T 分别称为N 的库所( place) 集和变迁( transi t ion) 集, F 为流关系( flow relat ion) 。库所和变迁又称为 S - 元素和T - 元素,或S - 元和T- 元。(1) PN 有两个特殊的库所:in 和 out，in 是一个起始库所，out 是一个终止库所。(2) 如果在 PN 中加入一个新的变迁 t，使 t 连接 out 与 in，这时所得到的PN 是强连接的。条件 1 使工作流网必须有一个起始点和一个终止点，条件 2 使工作流网中不存在处于孤立状态的活动与条件。petriPetri网是一种适合于描述异步并发现象的系统模型，既有严格的数学定义,又有直观的图形表示。以自然的依赖关系描述变迁之间的联系，适合于在各种抽象级别上描述并分析异步并发系统，而且由此产生了一整套完整的理论。它作为一种实用的可视化建模工具，在静态可反映模型的连接，在动态又可反映系统的动作和过程。Petri 网的建模具有以下特点:(1) 采用图形建模方法, 使模型直观、 易于理解。(2)可以清楚地描述系统内部的相互作用, 特别适合异步并发事件系统建模。(3)可以采用自顶向下的方法来建立系统模型, 使所建模型层次分明。(4) 有良好的形式化描述方法,用Petri 网建立的模型具有成熟的数学分析方法。(5)用 Petri 网建立的模型, 在一定条件下可以翻译为系统控制代码基于Petri网的电子政务系统建模与分析提出两个问题：数据何时出现转移? 转移的结果是什么?事件是系统中的动作(即变迁) , 用矩形表示；系统状态可由一组条件(即状态)来描述,条件就是系统状态的谓词或逻辑描述, 用圆表示; 事件的发生必须具备一定的条件, 这种条件称为事件的前条件; 事件的发生可能破坏前条件而使另外的条件成立,这种条件称为事件的后条件。基于Petri网的电子政务系统建模与分析以用户登录模块为例进行说明：a. 用户登录。输入登录名和口令。b.身份验证。S 1 待登录用户; S 2 登录后的用户; S 3 超级管理员; S 4 普通管理员; S 5 被警告为非法的用户。事件(变迁) 可概括为: T 1 用户登录; T 2 获得超级管理员的权限; T 3 获得普通管理员的权限; T 4 警告该用户非法登录。基于Petri网的电子政务系统建模与分析对模型进行正确性和有效性分析一方面是流程语义正确性,也就是与实际的业务流程相符合, 流程的运行能够获得预期的结果;另一方面是指流程结构的正确性,即流程是安全的、 无死锁的。用矩阵方程对所建立的电子政务系统Petri网模型的用户登录模块进行分析研究,基于时间Petri网的电子政务工作流的建模及性能评价在图形的描述上采用经典Petri网对控制、流程结构的表达方法，在流程的分析上则结合时间和经典Petri网对流程结构进行正确性分析，借助于仿真工具，分析各节点的时间效率和资源效率。在时间Petri网模型研究时，一般通过在变迁、库所或有向弧上添加时间数据来形成时间Petri网模型，实施的步骤可按三步：（1）依据业务的时间顺序对工作流程进行形式化描述，主要的构成单元包括：变迁、库所、有向弧、各事件发生的时间、事件的间隔时间、各事件延迟时间等。对于一些涉及单位较多、流程走向较复杂、运行时间较长的业务还可进行分