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

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于Petri网的办公自动化工作流建模

文章针对办公自动化系统(OA)的工作流模型,提出基于petri网的办公自动化工作流建模方法。应用表明该方法简单、可行,并对该方法进行了正确性论证和性能分析。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

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

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

基于高级Petri网的工作流建模研究与仿真分析

基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。     

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

本文将Ｐｅｔｒｉ网应用于工作流建模和仿真,提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．     

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

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及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网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于Petri网的工作流挖掘技术分析

针对传统的工作流管理生命周期对“商业过程再造”不能紧密支持的问题,引入了过程挖掘阶段和过程验证阶段。本文着重讨论基于Petri网的过程模型挖掘技术,对其步骤和所涉及的问题进行了分析,并提出了过程挖掘的算法。     

基于Petri网的工作流模型研究与设计

Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企业过程集成的有效手段,广泛应用于各种场合。本文在简要介绍了Petri网、工作流与工作流模型的理论后．对公文流转中的发文工作流进行了基于脯网的模型设计。     

基于工作流的业务系统开发

基于工作流的业务系统具有灵活、能重用已有的软硬件资源的特点。本文首先介绍了工作流系统的体系结构、功能,然后提出基于工作流的业务系统的开发步骤。     

基于Petri网的公文流转工作流的建模

研究了工作流技术在公文流转系统中的应用，结合实际应用环境，选择Petri网作为工作流建模的工具，将工作流的路由结构、触发机制引入到建模过程，提出了一个基于Petri网的公文流转工作流模型，并且将Petri网三要素以对象的形式描述出来，进而将整个流程以三个列表表示出来，成为程序语言可以识别的形式，使流程的自定义成为可能。     

基于Agent的工作流系统探讨

当前,大多数工作流管理系统都是独立地管理单个工作流,而忽视了工作流之间的资源约束关系,基于Agent的工作流管理系统能够有效地解决这个问题。该文主要讨论了基于Agent的工作流管理系统,包括系统配置、工作流执行的动态调度以及多Agent系统的组织和通信问题。     

基于工作流管理系统的人力资源考核

人力资源考核,或者说是人员绩效评估,是管理学理论中一个热门话题。常见的绩效评估方法有关键事件法,评分表法和行为定位 评分法。随着工作流技术的发展,工作流管理系统在企业中的应用也越来越广泛,该文讨论了在此基础上实行人力资源考核的可能性,并提 出了按照传统管理学评估办法进行了工作流管理系统上人力资源考核的基本思路。     

基于扩展染色Petri网的工作流过程模型

尽管已有广泛领域应用,但工作流系统在处理业务流程不确定的和动态的参数规格表时存在局限性。为此,本文提出基于扩展染色petri网的CPWF-net以及定义变迁行为和原子过程作为CPWF-net工作流模式结构的支持。这些工作流模式是从微观上进行处理,并可应用于动态不稳定的与时间和数据相关的环境中。本文通过CPWF-net执行程序检测工作流错误或异常执行状态,评估动态业务流程的整体执行时间,证实所提方法的有效性。     

基于内在事务的工作流异常处理方法

讨论了工作流引擎处理过程中的相关活动实例的上下文控制机制后,揭示了工作流内在的事务特性,以保证这种内在事务为基准,提出了工作流运行过程中异常处理的控制方法和不同处理策略下的异常恢复规则,保证了异常发生时,异常处理程序和工作流引擎的顺利交接,从而保证了流程发生变化时执行的持续性。     

工作流模型研究综述

工作流模型作为工作流管理系统的起点,对企业业务过程逻辑及其业务活动依赖关系进行抽象表示,它已成为当前工作流建模研究的重点。对工作流过程模型的研究现状进行综述,主要包括模型理论基础、当前工作流模型的不足之处,并且指出了工作流过程模型的发展趋势,为工作流建模的进一步研究提供基础。     

基于Petri网的证书生命周期管理流程分析

CA证书管理是PKI网络安全体系实施的关键，它涉及到密钥和证书从创建到撤销的整个过程。文中使用Petri网理论中的库所／变迁系统模型对一个CA证书管理流程进行建模，并用状态可达图理论对其系统的完备性进行了分析与证明。通过该形式化的方法对该系统进行分析，其完备性证明更加直观。