基于 Petri 网的保险索赔工作流模型

Petri网是一种有效的形式化建模工具,能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型,将Petri网三要素以对象的形式描述出来,并对此工作流模型的正确性定义和验证进行了说明。     

基于Petri网的企业用户模型

Petri网是一种有效的模型描述语言，能进行系统性能分析，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。本文介绍一种面向用户的工作流模型，讨论将工作模型转化为Petri网模型，建立企业的资源及经营管理过程建立模型和资源模型，并利用Petri网进行系统模型消解，以便对系统性能进行分析。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是，传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网，结合工作流本身的特点，对Petri网进行扩展，提出了一种描述工作流模型的新方法--信息控制Pettri网，并给出其表示工作流模型的正确性定义和验证。     

基于Petri网的项目审批建模分析

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

一个基于TWF-net的扩展时间工作流模型及其应用

时间约束是分布式企业工作流程建模中的一个重要因素．基于时间Petri网工作流模型(TWF-net)，通过分析TWF-net模型不足之处，建立了一种新的时间Petri网工作流模型——扩展时间Petri网工作流模型(XTWF-net)．通过构建规则，可将多个TWF-net合并为一个XTWF-net，以描述并行流程中的时间约束；通过引入与时区相关的时间映射函数，XTWF-net可以描述分布于不同时区的流程．最后给出一个利用XTWF-net描述分布式企业中业务流程的实例．     

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

对传统Petri网在描述工作流模型时，组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷，将有色Petri网（Colored Petri net，CPN）理论的分析方法引入到工作流网（Workflow-net,WF-net），实现二者有机结合，提出了一种新型扩展工作流网CPWF-net（Workflow-net based on Colored Petri net），给出了严格的定义，使能机制和触发，全面分析了CPWF-net的特性，并就其实际应用进行了初步探究。     

基于Petri网的工作流过程模型及资源分布分析

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

从工作流网向ECA规则的转换

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术，因而目前已被广泛应用．但ECA规则难于形式化描述的特性，使得在工作流建模时．不能够保证工作流系统的语义的正确性；而Petri网具有形式化的描述的基础和正确性分析的优点；拳文将这两方面结合起来，对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法．通过Petri网的形式化的验证后的ECA规则的转化，可以保证基于ECA规则的工作流系统的正确性．     

基于Bossa的工作流管理系统的开发方法

Petri网作为一个比较好的过程建模技术,在工作流模型的描述中有着一定的优势。基于Petri网的工作流模型如何投入到具体的工作流管理系统中,需要选择合适的工作流引擎,此引擎必须要能够完全支持基于Petri网的工作流模型的定义,Bigbross Bossa是各种工作流引擎中为数不多的采用Petri网来定义工作流的引擎之一,该文就Bossa工作流引擎的使用方法进行探讨和描述。     

基于工作流的高校科研项目管理Petri网建模

科研项目管理是高校科研信息系统的核心部分之一,利用Petri网,对复杂的科研项目管理工作流程建模,解决高校信息化中较为复杂的科研项目管理工作流问题。以高校科研项目申请流程为例,给出了相关定义,分析和解决建模中遇到的几个问题。     

工作流过程定义中的分层结构与正则Petri网

The abstract level problem and the classification of the abstract level problem in the workflow process model are discussed. The formalized problem of the abstract level problem in the process model is researched. The concept and definition of the petri net with end-transition and normal petri net according to the control abstract level problem are put forward and discussed. The equivalence of general Petri Net and general Petri Net is proved by the petri net with priori relationship.     

一种Petri网中S组件的查找算法

对Petri网的深入研究有助于基于Petri网的工作流管理系统的开发,S组件可用来刻画Petri网的一些重要特性.给出了一种在Petri网中查找S组件的算法.实验结果证明该算法是切实可行的.     

工作流模型的有向图表示及基于Petri网的验证方法

该文从工作流模型的基本结构出发，描述了模型结构的有向图表达方法与建模方式，提出了一种将有向图转化为Petri网的转换算法，说明Petri网与工作流网的关系，之后运用Petri网的分析技术来验证模型的正确性，为电子政务领域内工作流模型的正确性验证提供了一种解决方案。     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

基于数据集约束的并行数据流建模与描述研究

为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法.研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则.最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码.该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性.     

基于HTCPN的工程项目群工作流建模与仿真

在工程项目群实施阶段框架模型构建的基础上, 基于分层赋时着色Petri网定义了工程项目群实施阶段工作流模型。借助CPN Tools仿真平台, 以某工程项目群实施阶段为例进行了实例建模与仿真, 验证了基于分层赋时着色Petri网构建工程项目群实施阶段工作流模型的有效性。该工作流模型能够全面、准确地描述项目群复杂系统的实施全过程, 为实现项目群管理中的进度风险分析和流程优化提供技术与方法的支持。     

S-组合Petri网的进程特性分析

Petri网进程是反映Petri网动态特性的重要工具.Petri网的进程表达式可以给出系统全部进程的描述,但是对于求取Petri网的进程表达式时用到的基本子进程,其求取通常是比较困难.通过分析Petri网S-组合过程中满足的进程特性,给出S-组合网与子网的基本子进程之间的关系,即S-组合Petri网的闭基本子进程的集合是子网的闭基本子进程的集合的并集.这样,就将求取结构复杂Petri网的基本子进程的问题转化为求取其结构简单的组合子网的基本子进程的问题,为求取结构复杂Petri网的基本子进程提供了一种方法.     

一种基于策略的工作流过程元模型

随着工作流的广泛应用,人们对工作流系统的灵活性提出了新的要求。作为工作流系统的核心,工作流的过程元模型很大程度上决定了工作流系统的能力。结合互联网工程任务组（Internet Engineering Task Force,IETF）提出的策略的概念和策略部署模型,提出一种基于策略的工作流管理系统,并结合工作流系统的特点,提出了描述工作流策略语言,使用基于策略扩展的Petri网建立工作流过程模型的方法。基于该元模型的定义的工作流具有较好的灵活性,并对工作流的运行期实例的动态修改提供支持。