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

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

Petri网的工作流模型建模研究

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。     

基于Petri网的空间信息工作流模型

利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供科学的途径。基于Petri网和UniNet理论,建立了空间信息工作流模型GWPN。该模型利用Petri网和UniNet的诸多优点,兼顾控制流和数据流,并充分考虑了过程中的空间语义约束,准确定义空间信息处理过程,解决了空间应用的特殊性问题。     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

基于Petri网公文流转工作流模型的设计

Petri网是目前最有前途的建模工具，它的应用几乎涉及到计算机学科的各个领域。文中将使用其作为办公自动化系统中较为复杂的公文流转工作流模型的设计工具，来分析设计流程中遇到的几个问题，并在提出解决问题的策略方面作一些探讨。     

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

通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网的办公自动化工作流建模方法,该方法具有完全形式化的图形表示和坚实的数学基础,是一种工作流建模和分析的理想工具.在建立办公自动化系统的工作流模型的基础上,讨论了基于Petri网的工作流建模方法,并对该方法进行了正确性论证,表明该方法对于办公自动化系统的实用性和高效性.     

基于Petri网的工作流模型的分析

通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于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网模型,然后建立了工作流网的扩展时间模型,在可达图的基础上提出了简单路径图和可变换子网的概念,利用保持网响应时间和分配概率不变的网变换方法对扩展时间工作流网进行化简,给出了找出可变换子网的算法和计算工作流模型时间性能指标的方法．     

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

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

基于Petri网的工作流建模方法

将Ｐｅｔｒｉ网方法引入工作流模型描述,并针对工作流的特点对其进行扩展,提出功能网描述方法。使用功能网可使工作流模型得到方便、快速、合理的构架,同时为工作流模型的仿真研究打下坚实的基础     

基于Petri网的公文管理工作流模型

该文针对现有的工作流模型在实际应用中有时难以全面描述整个应用系统这一问题,结合公文管理工作流的实际应用环境,提出了一个相对完整的基于Petri网的工作流模型,并给出了该模型的正确性验证。     

基于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网的工作流模型简化

计算状态空间可达图是验证工作流正确性的主要方法,状态空间爆炸是这类方法的主要困难.文章对线性时态逻辑LTL-x描述的正确性提出了一种基于Petri网图形化简的验证方法,证明了所提出化简规则的完备性,并以实例说明了所提方法的有效性.