基于时延Petri网的工作流系统建模方法及其时间管理

论文摘要

随着用工作流的方法管理业务流程的需求的不断增加,人们提出了各种各样的模型和分析方法。而现存的工作流产品缺乏对动态变化所必须的柔性支持,远远不能满足企业的应用需求。时间是反映工作流性能的一个重要方面,因此,时间的验证与分析成为当今工作流研究的一个热点问题。立足于实际业务过程对工作流系统时间管理功能的需求,尤其是针对一些对时间性能要求比较高的工作流系统,提出了一种新的基于库所含时间因素的时延Petri网的工作流建模和分析方法,定义了一种新的工作流建模工具TPWF_net(Timed Place WorkFlownet)。TPWF_net基于库所含时间因素的Petri网TPPN(Timed Place Petri Net),用库所来表示任务的状态和执行过程,库所上被赋予一个时间值。变迁用于对工作流逻辑的控制。在一个实际的工作流中,常常有一些可选活动和可替换路径,对可选活动的适当取舍和可替换路径的适当选择,可以提高工作流系统在时间方面的柔性,所以在TPWF_net中对可选活动和可替换路径进行了定义。给出了TPWF_net模型结构完整性的定义,并用可达标识图的方法对TPWF_net模型的完整性进行了验证。工作流时间管理是研究工作流执行的时间计划,估计不同的活动执行延时、避免活动/过程违反时间约束,以提高过程管理的效率。本文基于TPPN(Timed Place Petri Net)的运行规则,在TPWF_net模型逻辑结构的基础上,定义了一种时间计算方法,以此为基础,在模型建立阶段和模型实例化阶段分别进行时间的计算与分析。

论文目录

• 摘要
• Abstract
• 1 引言
• 1.1 选题背景及意义
• 1.2 工作流系统时间管理研究现状
• 1.3 本文的主要内容及结构安排
• 2 Petri网和工作流的基本知识
• 2.1 网与网系统
• 2.2 Petri网动态性质
• 2.3 含时间因素的Petri网
• 2.4 时延Petri网的模拟能力
• 2.5 工作流技术概述
• 2.6 工作流的定义,结构功能和组成
• 2.7 工作流模型
• net）'>3 基于时延Petri网的工作流网（TPWF_net）
• net中的基本元素和基本组成结构'>3.1 TPWF_net中的基本元素和基本组成结构
• net的定义'>3.2 TPWF_net的定义
• net的建模方法'>3.3 TPWF_net的建模方法
• net的工作流逻辑'>3.4 TPWF_net的工作流逻辑
• 3.5 工作流过程模型的完整性验证方法
• 3.6 例子
• 4 基于TPWF-net的工作流系统时间管理
• 4.1 执行延时和截止期限
• net的时间计算'>4.2 TPWF_net的时间计算
• 4.3 模型建立阶段的时间管理
• 4.4 模型实例化阶段的时间管理
• 5 结束语
• 5.1 本文主要工作
• 5.2 进一步的研究
• 致谢
• 参考文献
• 作者在读期间的研究成果