董淑娟，张 哲

（黄河水利职业技术学院，河南 开封 475004）

0 引言

近年来，工作流和工作流管理系统建模主要采用 Petri网模型［1］。 Petri网是由德国学者 Petri最先提出的一类建模工具。它作为一种图形化的数学工具，不仅能很好的描述并发、异步、同步、冲突等重要现象，还有严格的数学基础。因此，被广泛地被用于系统建模［2］。

在办公子系统中，学生、教师、领导要处理很多事务，其中有些事务需要多个审批人同意后才能进行，于是进行事务申请、审批、实施的决策和管理尤为重要。事务审批工作需要处理不同类型的审批事务，每项事务对应一个输入（被审批的事务）和一个输出（处理完的事务）。在审批流程中，每一种活动都有先驱活动和后继活动。事务审批的这种特性符合工作流的基本性质。笔者通过分析不同的工作流模型，提出使用Petri网进行分析和设计事务审批工作。

1 办公自动化子系统工作流建模

1．1 Petri工作流网简介

Petri工作流网是一个三元组，即 PN＝（P，T，F）［3］。其中，P为库所（Place）；T为连接库所的有向弧变迁（Transition），是指与工作流相关的活动；F为流关系。

Petri工作流网必须满足以下条件：（1）PN有两个特殊的库所I和O。I库所是一个起点库所，满足·I＝Ф；O 是一个终点库所，即 O·＝Ф。（2）如果在 PN 中添加一个变迁t，t连接I和O，则新网为强连接的有向图。

1．2 工作流基本结构

基本的工作流结构有顺序结构、并行结构、条件选择结构、循环结构 4 种［4］。

1．2．1 顺序结构

顺序结构类型的工作流用来描述一系列按照一定顺序指定的活动，如图1所示。图1中，活动B的可实施时刻是活动A实施结束的时刻，即A活动与B活动顺序实施。……