Ｐｅｔｒｉ网的工作流模型建模研究.docVIP

Ｐｅｔｒｉ网的工作流模型建模研究 　　摘要:实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。 　　关键词:工作流;Petri网;工作流网 　　中图分类号:TM73 文献标识码:A 文章编号:1009-3044(2009)15-4077-02 　　 　　Petri Net Workflow Modeling Study 　　ZHOU Li-fen 　　(Qujing Normal University,Qujing 655011,China) 　　Abstract: Conceptual model is the key to develop its workflow technology and the process of building model is the basic of establishing workflow management system, so research and application about workflow model is so much. In recent years, with establishment of business process model and Petri net technology development, Petric net is also used in building workflow model. This article introduces workflow and the basic concept of Petri net. Introduced the four basic of process workflow structure, and workflow processes of the four basic structure as the starting point, given a way of how they map into compliance with the definition of WF-net model. 　　Key words:workflow; petri net; workflow 　　 　　1 引言 　　 　　工作流技术是90年代初随业务流程重组对组织机构和运行机制重组的需要而兴起的,该技术是近年来迅速发展起来的广泛应用于过程建模、模型分析和过程管理的一项新兴技术,是实现流程执行和控制管理的一条有效途径。工作流建模就是将现实世界中的业务过程抽象出来,并用一种形式化的、计算机可处理的方式来表示,这种形式化结果就称为工作流模型[1]。到目前为止,人们提出了不少有意义、有见解的工作流模型,基于Petri网的工作流模型就是其中的一种。Petri网是一种图形化的建模工具,由于Petri网模型对带有并发性、异步性、 分布性、非确定性和并行性系统的有力描述[2],使其成为具有广泛应用前景的建模工具。本文先介绍Petri网及工作流模型的四种基本结构,再利用Petri网对工作流模型运行的决定因素:控制连接、活动、转移条件、启动条件和终止条件的重新解释,实现了对元模型过程定义的映射。 　　 　　2 Petri网 　　 　　Petri网在1962年由德国学者C. A .Petri作为一种过程建模和分析的工具提出,它是一种图形化的描述过程的强有力工具。同时,Petri网是一种经过严格定义的数学模型,具有规范的模型语义,完全支持工作流管理联盟所定义的六种工作流原语[3],可以对业务过程进行精确定义。 　　经典的Petri网是一个双重有向图[4],有两类节点类型,称作库所Place 和变迁 Transition,这些节点通过有向弧相连;在任何时刻,库所当中包含零个或者多个标记token:相同类型的两个节点之间不允许相连。Petri 网中的库所表示条件,变迁表示任务,一个任务可能对应一个或多个变迁,一个工作项对应一个就绪的变迁,一个活动对应一个变迁的实施。 　　 　　3 基于Petri网的工作流模型建模 　　 　　3.1 工作流元模型 　　工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示,需要保证流程含义的正确、数据一致性和流程的可靠性,所建立的模型不仅有正确的含义,而且还要能提供一个由分析模型到投入