Petri网在工作流过程建模和分析中的应用研究.pdfVIP

第十七届全国数据库学术会议论文集技〔术报告篇) Petri网在工作流过程建模和分析中的应用 姜 浩 (东南大学计算机系 南京 210096hjiang(Jseu.edu.c.) AbstractInthispaper,aPetrinetsbasedmodelingmethodologyofworkflowprocessisprc posde.Thedvnamicbehaviourofworkflowprocessmodelisresearched Keywordsworkflow Petrinetsprocessn。二}e1 1 工作流过程模型概述 工作流的过程模型是业务过程计算机化的形式表示，它定义了过程运行中的各种参数、工作流的各个 工作环节以及相互之间的控制流和数据流关系，其中最能体现系统动态行为特征的是过程的控制棋型(简 称为过程棋型)。目前常见的用于描述工作流过程的并发动态行为的语义模型有川:基于逻辑的棋型、荃 于进怪代数的模型、自动机模型,Actro模型和Petri网等。在工作流的过程建模中，要求所建立的模型具有 较强的描述能力，建棋过程简便、直观，所建立的棋型易于使用，同时还要求模型易于修改和扩充，以适应 不断变化的工作环境。进一步地，棋型还要求能够便于被验证，进行性能评价。Petri网作为一种描述并发 系统动态行为的有力工具，能够很好地适应上述这些要求。 根据工“作流管理联盟(WFMc)的定义l[21，我们先对工作流中有关过程的几个基本概念说明如下: 过粗(Process):业务过程的一种形式化的观点，表示成一组为实现一个共同的目标而相互合作的(并 发或顺序连接起来的)活动。过程实例:指的是某个工作流过程的一次执行。 活动(Activity):是对作为过程中的一个逻辑步骤或环节一种描述，活动既可以是人工执行 也可以是 由计算机自动完成。活动也称为任务(Task). 过程中的活动之间具有以下几种基本结构: 峨序结构 活动的执行是按前后顺序进行的。类似于许多程序设计语言，活动之间的顺序性是由箭 头来标识的。从活动A指向活动B的箭头意味着只有当活动A完成之后，活动B才可能开始。 并发结构 活动的执行顺序是相互无关的，可按任意顺序。 条件结构 后续被执行的活动需经某种决策进行选择。 衡环结构 一组活动被多次重复执行 为实现以上几种结构，需在工作沈中引人VA下几类活动执行的控制关系: .and一split:一个活动的完成导致后续多个活动可能相互独立地、并发地执行; .and一joint:一组相关活动都完成后其后续活动才可能执行; .or一split:一个活动的完成导致后续多个活动经某种决策使得仅有一个活动可能被执行; .or-joint:一组活动中任意一个完成后，其后续活动可能被执行。 一个活动是否能够开始执行和是否执行完成是用它的前ti和后置条件来判断。所谓前(后)tI条件是 指:一个由工作流引攀计算的逻辑表达式，用于确定一个过程实例或过程实例中的活动是否可以开始了是 否已经完成)。 227 一几一〕一不 — 一— 一 一 一 - 第十七届全国数据库学术会议论文集(技术报告篇) 2 基于Petri网的工作流过程模型 Pevi网r3)是一种对并发系统进行描述与分析的工具，适合于描述并发、异步、分布、并行、不确定性和 随机性的信息处理系统，进行系统模型的构造、分析及评价。我们先给出Petri网的几个基本定义: 定义 1 (1)网是一个五元组 =(P,T,F,K,W)，其中: P和T分别为有限非空的库所和变迁集合; .P(1T=O 0FSPXTXP是一个有向弧的集合; .K:P-NUI.I，是库所上的容量函数，N 二11,2,3,0-}，若K(P)=m表示P的容t为无限。 .W.F-N，是弧集合上的权函数。