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

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

工作流过程的语义验证方法应用

工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子商务过程订货购买过程的定义和验证.特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性.     

一种工作流网的自动生成算法

针对工作流网人工建模容易出错、工作流分析方法缺乏大规模测试案例等问题,提出了一种自动构建工作流网的生成算法.该算法通过随机节点分组、全连接和最少连接、AND和OR类型转换等方式,自动生成具有自由选择性、安全性和无环性质的工作流网.算法最坏情况下的时间复杂度为O(mn/k),其中m为库所数,n为变迁数,k为库所分组数.同时,基于Matlab平台研制工作流网生成工具,可快速生成无环、自由选择和安全的工作流实例,为工作流分析方法提供了不同规模的测试数据.     

工作流模型验证及分解的多项式算法分析

基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.     

真并发等价性下的流程模型转换方法

针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.     

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

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

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

工作流技术作为实现企业过程的有效手段,广泛应用于各种场合.在应用中,关键是建立适合企业过程的工作流模型.Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示.本文主要介绍了Petri网和工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了设计实例.     

一种形式化的工作流网模型

提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。     

一种基于用例和Petri网的业务过程建模方法

在给出用例及其相关概念的形式化定义的基础上,构建了从用例到Petri网模型的映射算法;提出了一种基于用例和Petri网的业务过程建模方法.它先以用例来捕获需求,再用Petri网来图形化用例,以此来实现它们各自优势的互补.并且通过引入工作流建模中任务(task)这一概念来统一了用例描述的语法形式.     

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

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

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

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

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

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

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

基于Petri网的工作流技术在信息系统中的应用

以某汽车零配件供应商开发的产品数据管理系统PDM-flow为研究背景,分别介绍了基于工作流技术的信息系统的体系结构、各组成部分的实现方法、系统开发模式以及使用Petri网设计业务过程的一些经验。系统体系结构借鉴了国际工作流管理联盟的(WFMC)工作流参考模型,以工作流引擎系统JBPM为核心构件实现了工作流管理系统的各个组成部分,希望对工作流技术和Petri网技术的使用以及实现类似系统有一定的借鉴作用。     

工作流技术及建模方法研究

本文介绍了工作流参考模型及基本概念,在此基础上分析了工作流建模工具,阐述了基于不同Petri网的工作流建模方法。     

工作流技术及建模方法研究

本文介绍了工作流参考模型及基本概念,在此基础上分析了工作流建模工具,阐述了基于不同Petri网的工作流建模方法.