论文部分内容阅读
近年来工作流技术已成为计算机应用领域广泛应用、极力研究和迅速发展的技术,因为它具有有效支持过程建模、优化分析、经营过程自动化等能力。进入二十一世纪以来,随着经济全球化的进程进一步加快,企业业务过程变得越来越复杂,使得对工作流的性能要求变得越来越高,而在工作流系统中时间管理问题是一个很重要的方面。要解决工作流系统的时间管理问题,先决条件是要解决如何对时间信息和时间行为进行形式化的描述。国内外的学者已经提出了很多基于扩展Petri网的工作流时间模型,这些时间模型大多是基于时间的Petri网工作流模型。本文主要的研究工作就是对基于Petri网的工作流模型进行扩展和改进。
本文首先详细介绍了工作流和Petri网的相关理论,然后重点分析了基于Petri网的工作流模型。在此基础上,对工作流模型的四种基本结构、工作流的触发机制、时间工作流模型中时间信息的定义以及工作流模型的扩展方法等内容做了较深入的研究。工作流在执行过程中每个任务都存在一定的延时,也即工作流从开始到结束整个过程需要一定的执行时间。另外,工作流在执行过程中每个任务被执行的可能性的大小被称为任务的实施概率。工作流中的时间因素以及每个任务的实施概率决定着整个工作流的执行效率。在工作流时间模型的基础上,本文加入了弧权值的概念,提出了一种建立加权的时间工作流网(EWTWFN)模型的新方法,并详细定义了模型中四种基本路由结构,给出了基于时间信息的工作流网的建模与分析方法。最后通过实例证明了EWTWFN能够比较完整地描述具有较大数量资源和活动的大规模工作流系统。