基于Petri网的工作流结构正确性化简验证方法

工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性.     

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

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

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

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

一种工作流模型的性能分析方法

在讨论了工作流模型分析的相关问题后，基于工作流网的定义，给出了包含资源、时间等信息的多维工作流网的概念，并讨论了由基于工作流联盟(WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射．为了处理工作流模型中的循环结构，对具有无环自由选择工作流网到一组变迁组件网(T—component)的分解算法进行了扩展，以处理工作流网中存在的循环结构．进而在模型结构分析的基础上，根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率．进而，结合开环Jackson排队网络理论，详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链(CTMC)的系统动态性能分析的方法，并以一个实例验证了作者提出的模型性能分析方法的有效性．     

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

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

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

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

基于Petri网化简技术的工作流模型正确性研究

为了更有效地对工作流模型进行分析验证，提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上，通过对非自由选择网结构活性和有界性的分析，给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下，给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法，从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。     

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

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

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

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

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

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

基于语义约束的资源工作流并发正确性保证

控制流结构中并发变迁的正确性是工作流模型正确性的基础．为保证模型的正确性，提出了资源语义约束工作流网的基本概念，丰富了控制流的数据语义，给出了两方面的控制流并发正确性：并发控制流与其数据语义的一致性检测算法及改正原则，保证了模型中的并发控制流结构的正确性；实例中基于数据语义约束的并发变迁正确性保证机制，提出了申请锁和释放锁的算法，保证了工作流实例中并发执行的正确性。     

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

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

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

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

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

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

工程项目工作流的Petri网表示及模型建立

根据工程项目产品实现过程与工作流组成的相似性,将工程项目的微观工作任务分解为基于工作流管理范畴的一个有机活动的操作序列。引入赋时Petri网和着色Petri网分别对项目活动的工期、项目所需的资源等属性进行描述,建立基于赋时着色Petri网的工程项目工作流模型,并分析资源配置规则和资源调用过程,为项目多活动、多任务间的协同管理打下基础。     

基于Petri网的建设工程项目实施阶段工作流建模与仿真

构建一个能够准确表达实施过程系统性、动态性和不确定性的工作流模型是实现建设工程项目实施阶段工作流管理与控制的有效途径。在对建设工程项目实施阶段工作流模型特点分析及工作流概念模型构建的基础上,基于分层赋时着色Petri网构建建设工程项目实施阶段工作流模型。通过运行该工作流模型,能够获得实施阶段的信息流、资源流、异常处理、持续时间等抽象内容,不仅为实现建设项目实施阶段的工作流管理与控制提供有力的方法支持,同时也是Petri网建模技术在建设工程领域中的应用拓广。借助CPN Tools仿真平台,以一般工业与民用建筑的实施阶段为例进行工作流模型的构建与仿真,验证了基于分层赋时着色Petri网构建建设工程项目实施阶段工作流模型的正确性和有效性。     

基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。     

基于TC-Net的工作流模型研究

时间要素作为工作流管理的重要部分,是影响企业业务流程部署实施的关键因素。基于工作流中任务具有时间限制的特点,分析任务的时间要素,抽象出任务的形式化描述,定量计算两个连续任务执行的最大时间约束,提出可控时间约束Petri网模型（Time Constraint-Net,TC-Net）。该模型在任务节点中添加时间信息,从任务开始执行时间到任务的执行结束时间及最大约束时间,提高任务时间信息描述精度;利用TC-Net模型表示工作流过程中各项任务,基于任务间顺序、同步和并行关系的传递模型,细化实际业务流程中分析粒度。应用TC-Net模型进行实例分析,实验结果表明该工作流建模方法对时间违反而导致违规操作具有高敏感性,解决了单个任务违规和流程周期不合理两类问题,实现业务过程的管理和监控。