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

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

动态服务聚合流程定义元模型及其应用

适应Web服务的动态变化性是流程驱动的服务聚合研究的一个重要内容，传统的工作流建模思想必须加以改进以适应这一新的应用需求。本文引入了服务结点和服务群的概念，从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型。在此基础上，基于扩展的工作流网提出了一种新的服务聚合流程／资源描述模型WSCP／R-net，有效解决了现有的基于基本工作流网的服务聚合建模技术所不能解决的不确定路径选择和服务的动态变化性问题。文章以城市危机应急处理的Web服务流程构建为例说明了WSCP／R-net应用的有效性和可行性。     

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

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

层次颜色工作流Petri网建模与应用

当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点.提出了层次颜色工作流Petri网的概念,并指出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描述具有事务属性并行任务在执行失败时的回滚策略.     

基于Pr／T系统的状态工作流网建模

对于工锋流建模人们常常想到的是根据业务的流程信息进行，侧重活动的推进,然而有些工作流系统侧重描述资源之间的状态转化，其中的活动可能会比较少，而资源之间的交互。状态之间的转化会比较丰富，此时对于常用的工作流建模方法就不能很好的表述这些特点，因此本文提供了一种基于WF-Net和Pr／T系统的状态工作流网State-WF的定义，并结各电子商务实例进一步阐释了这种建模方式与流程工作流建模的不同。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于面向对象Petri网的组织间工作流建模

工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模。得到单个对象和系统整体的面向对象Petri网模型,然后在此基础上进行系统结构活性和有界性分析。通过针对实际问题的建模验证,阐明了该规则的有效性和实用性。     

基于着色Petri网的工作流建模

为了提高工作流模型的适应性，通过建立统一的资源管理器模型，解决了工作流网的资源分配问题，得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上，得到更加容易控制和计算机化的着色工作流网模型。最后，定义并将适台于工作流的事件一条件一动作规则引入着色工作流网，提出了基于ECA原语的工作流模型描述机制。     

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

针对传统Petri网建模方法的不足,研究了通过资源结构建模的工作流建模方法.在着色Petri网的基础上提出资源/任务网(R/T-net),并给出基于R/T-net的工作流建模过程.R/T模型能够有效地实现产品数据结构和过程结构的统一,资源流对任务流的控制以及模型的仿真.     

工作流模型的研究与实现

本文介绍工作流以及工作流建模的一些基本概念，以及Petri网技术在工作流模型中的应用，同时提出了一个工作流建模的具体实现方法。本工作流模型的实现包括了企业人员、资源以及任务信息模型的实现，同时任务模型中包括了任务之间的约束关系，以及任务执行过程中产生的文档。     

层次工作流Petri网建模与分析

当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。     

水下机器人任务流程建模与管理

为实现水下机器人任务流程的快速建模与自动管理,通过改进传统的工作流理论,提出了一种实用的任务流程模型——任务工作流.介绍了作为任务工作流理论基础的传统Petri网及工作流模型,指出了原有理论的缺陷并介绍了任务工作流的基本理论.以任务工作流模型为基础,实现了一款任务流程管理系统,为其定义了完善的图形化建模手段与标准的文本化的描述语言,并建立了一套担负着运行时任务管理工作的核心应用程序,能够实现任务的描述与建模、自动运行与管理,以及任务流程的动态更改.实践表明,任务工作流建模简单快捷、方便编程实现,是机器人任务建模与管理的理想工具.     

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

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

基于扩展计算网的分层网格工作流支撑环境

针对实现资源共享和协同工作的网格技术应用研究与发展现状，提出了分层网格工作流体系结构:在设计层利用网格工作流逻辑和网格工作流语义建模网格工作流，在运行层利用网格工作流调度引擎和网格工作流实施引擎完成任务的实施，在资源层通过网格中间件和运行层交互。为支持上述结构，在(扩展)工作流网和计算网基础上，定义了扩展计算网模型。最后以实例说明了分层网格工作流建模支撑环境的具体应用。     

基于动态工作流网的工作流过程挖掘

挖掘和描述过程日志中的动态信息可以提高工作流过程建模的效率和效果.为此,在工作流网的基础上提出了动态工作流网,进行了合理性分析,并给出了基于此概念的过程挖掘算法.原型系统的实验结果表明,该算法是有效的.     

基于角色的供需网工作流建模与分析*

目前的工作流建模大多是基于过程的,并没有强调工作流中的角色及其交互过程。基于此,从角色及其交互角度,结合以活动和角色描述工作流的优点,将角色的概念引入到对供需网工作流的研究中来,提出了基于角色的供需网工作流模型,通过实例分析系统地总结了模型建模的方法与步骤。这种建模思想有利于模型结构的完善,有利于提高工作流模型的安全性和正确性。     

基于WfPN的业务流程重组

工作流管理技术在企业的业务流程重组和业务流程自动化中扮演重要角色。它提供了一系列工具来建立、分析、仿真和实施业务流程,按照工作流管理联盟的规范自主开发了AutoFlow工作流管理系统,其中工作流建模方法是整个系统的核心基础。在此,提出了一种基于Petri网的工作流建模理论－WfPN模型,并描述如何将业务流程映射成WfPN(workflow Petri net)模型,WfPN可以作为工作流系统流程建模的理论基础,为业务流程的自动化和BPR的计算机实施铺平道路。     

基于资源限制流图的工作流并发结构的正确性验证

本文在基于Petri网的工作流网的控制流的正确性验证的基础上，提出了基于数据流的资源限制流网的概念，并在资源限制流网的基础上，提出了工作流网的正确性概念，提出了并发变迁的并发性错误检查算法．     

基于资源和时间限制的多工作流网及可调度性验证

工作流建模阶段的验证工作对工作流的成功执行具有重要意义.首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用系统中总是有若干工作流并发执行,于是综合考虑结构、时间、资源限制三个层面,提出一个工作流应用系统一般性限制框架.基于该框架提出了多工作流网原型,并进一步给出了多工作流网下资源冲突和可调度性的概念,最后给出了多工作流网可调度性验证算法及其冲突解决方案.     

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

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