刘晓晖 冯菲 第五念东

摘要：基于Petri网络建立工作流，既可以将Petri网络作为图形化的建模工具，同时又可以利用它坚实的数学定义，对模型做出精确的分析，可以降低建模难度、简化过程，同时又能保证所建模型的正确性。本文通过对即时情报服务系统的业务流程分析，提出了一个基于Petri网络的即时情报服务系统工作流模型，并对该工作流模型进行正确性分析。该模型成功应用于即时情报服务系统建设中。

关键词：Petri;工作流

中图分类号：TP393      文献标识码：A

文章编号：1009-3044（2021）13-0235-02

Abstract： Real-time intelligence service system is a typical workflow system， this paper applies Petri for modeling real-time intelligence service， and analyses the workflow modeling.

Key words： Petri; Workflow

1 前言

按照国际工作流管理联盟（WfMC） 对工作流的定义：工作流是能够完全或者部分自动执行的过程。工作流建模是完成对目标系统业务过程的抽象表示，主要解决工作流流程的描述，在工作流合理性验证上缺乏相应的数学模型。应用Petri网络建立工作流，既可以将Petri网络作为图形化的建模工具，同时又可以利用它坚实的数学定义， 对模型做出精确的分析。本文基于Petri网络对即时情报服务系统工作流进行建模，同时给出即时情报服务系统工作流合理性分析。

2 基本概念介绍

2.1 Petri网

德国科学家Carl Adam Petri提出的Petri網，是以双边有向图来描述业务过程， 该方法利于分析和正确性验证， 并具有精确的数学定义和数学基础， 是工作流建模和分析的有力工具。

Petri网是一个三元组（P，T，F）， P：库所的有限集，T：变迁的有限集;F ：一个P元素和一个T元素组成的有序偶的集合，其充分必要条件是：

⑴  P ∩ T=? ;

⑵  P ∪ T≠? ;

⑶  F[?]（P×T）∪（T×P） （ ×为笛卡尔积）;

⑷  dom （F） ∪ cod（F ） = P ∪ T ;

其中

dom（F） = { x∣[?]y ： （x，y） ∈ F }

cod（F） = { y∣[?]x ： （y，x） ∈ F }

分别为F 的定义域和值域。……