基于Petri网的工作流建模技术及应用

工作流管理技术是 90年代初新兴起的软件技术。其实现的关键在于工作流概念模型的建立。虽然信息系统领域的建模理论已经发展得较为成熟 ,但在工作流管理领域还没有一个专门的建模工具来满足工作流建模的需求。通过对几种概念建模方法的比较分析 ,论文选择 Petri网作为工作流建模的主要工具 ,并探讨和总结了工作流程的路由结构、触发机制、可靠性工作流模型的分析方法 ,转换原则和组合性质 ,最后通过一个案例进一步阐述了基于 Petri网的工作流建模技术。实际应用表明该建模方法简单、可行 ,能够保证工作流模型的有效性 ,而且便于工作流网络的计算机形式化表示 ,有利于工作流管理系统 (WFMS)的实现。     

一种基于Petri网的OA工作流模型研究

工作流的提出源于办公自动化的发展,是对在计算机环境下具有异步并发特征的业务流程的形式化描述,其目标是在需要的时刻把需要的信息传递给需要的人,使各项工作能够顺利地完成。工作流建模是将实际业务流程抽象表示的过程,传统的工作流建模方法有多种,如有向图、角色行为图、面向对象及传统Petri网工作流事物模型等方法。这些方法对企业业务流程的描述能力和模型本身的灵活性方面各有差异,相比较而言,     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

基于PETRI网的政府办公系统工作流建模研究

提出了一种基于PETRI网的政府办公系统工作流建模研究方法。讨论了该工作流程的控制关系及约束条件等。用一个实例对所提出的建模方法进行了说明。实际表明该建模方法简单、可行，并能保证工作流模型的有效性。     

基于面向对象工作流网的水利枢纽业务过程模型

结合水利枢纽实际,提出一种基于面向对象工作流网的枢纽抽水站业务过程模型,并实现了工作流网模型向面向对象语言的转化．对工作流网模型中的“变迁”元素进行扩展,面向对象的工作流网模型的结构,工作流网向面向对象的状态转换图及语言的转化等问题进行了研究．     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

基于Petri网的人才评价工作流模型

提出了基于Petri网的人才评价工作流管理系统建模的应用研究,介绍工作流、工作流网、工作流建模的一些基本概念,以及用Petri网对工作流进行建模的过程,并结合人才评价系统实例讨论了基于Petri网的工作流模型的有效性和性能分析。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于Petri网的工作流系统不确定性时间信息的计算

基于工作流系统对时间管理功能有严格的需求, 针对任务执行时间的不确定性, 提出了基于库所时间Petri网的工作流系统建模方法—PT_net. 该方法可以有效计算工作流系统的时间信息, 从而为工作流系统的时间管理和分析提供技术支撑.     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

工作管理系统中的版本管理应用研究

为了满足工作流管理系统中对适应性能力的要求，对企业流管理系统中变化的来源进行了分析，并对其有关流程定义方面的变化进行了具体的讨论，运用版本管理技术，对工作流模版进行相应的管理，并引入工作流实例的概念，从而部分解决了工作流在流程定义方面的变化。     

工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。     

基于消息中间件的电子政务协同工作流模型的研究

如何实现各政府部门的异构系统间互联互通是电子政务领域一项极富挑战性的工作。提出了基于消息中间件的电子政务协同工作流模型,将异构系统整合到统一的业务流程之中,并采用Petri网对业务流程中各部门子系统间的调用序列进行了形式化描述,确保了业务流程建模的正确性。     

基于Petri网的机务工程管理工作流建模

通过采用先进的流程建模技术实现机务工程管理的现代化、科学化已成为非常迫切的任务.本文采用基于petri网的工作流建模技术能够更好的适应由于航空机构改革所带来的机务工程管理信息化的演进与完善.