基于 Petri 网的审核流设计 2008 年 8 月 18 日 一、 Petri 网的概念原理 二、审核流设计
一、 Petri 网 ● ● ●● ● ● 令牌 (Token) 变迁 (Translate) 库所 (Place)
一、 Petri 网 什么是 Petri 网？ Petri 网是 1962 年被 Carl Adam Petri 作为 一种过程建模和分析的工具提出，它是 一种图形化描述过程的强有力的工具。
一、 Petri 网 经典的 Petri 网是简单的过程模型 它由：库所（ Place ）、变迁（ Transition ）、 有向弧，以及令牌（ Token ）组成的。 1 、什么是库所（ Place ）？什么是库所（ Place ） 2 、什么是变迁（ Transition ）？什么是变迁（ Transition ） 3 、什么是令牌（ Token ）？什么是令牌（ Token ）
一、 Petri 网 1 、什么是库所（ Place ） ？ 库所：表示媒介、缓冲器、地理位置、 （子）状态、阶段或条件 。 注：在我们审核流设计当中，我们把库所 （ Place ）设计成为存储我们审核实体的场所。
一、 Petri 网 2 、什么是变迁（ Translate ） ？ 变迁 : 表示事件、操作、转换或传输等 变迁是 Petri 网中的主动因素。通过实施 变迁，过程从一个状态转变到另一个状 态。 注：在我们审核流设计当中，我们把变迁 （ Translate ）设计成为审核人员对审核实体进 行的操作。
一、 Petri 网 3 、什么是令牌（ Token ） ？ 令牌：表示对象，这些对象可能是具体 的事物，也可能是抽象的信息 。 注：在我们审核流设计当中，我们把令牌 （ Token ）设计成为审核实体。
一、 Petri 网 Petri 网原理： 如果一个变迁的每个输入库所都拥有令 牌，该变迁即为被允许或就绪。一个变 迁被允许时，变迁将发生，输入库所的 令牌被消耗，同时为输出库所产生令牌。
一、 Petri 网 ● ● ●● ● ● 变迁 (Translate) 令牌 (Token) 库所 (Place) ● ● ● ● 令牌 (Token) ● 变迁 (Translate) 库所 (Place) 执行前 执行后
二、审核流设计 ● ● ●● ● ● 一级审核 审核通过 审核拒绝审核拒绝 二级审核 审核拒绝审核拒绝 起始存储审核实体场所终点存储审核实体场所
二、审核流设计 数据库设计： 我们设计了四张表：分别是库所表 （ Place ）、令牌表（ Token ）、变迁表 （ Translate ）审核表（ Audit ）
二、审核流设计 库所表（ Place ）结构： 字段名主键类别备注 PlaceID 是 nvarchar 库所 ID 号 PlaceNamenvarchar 库所名 Entitynvarchar 存储实体类型 Flagnvarchar 判断库所位置标志
二、审核流设计 令牌表（ Token ）结构： 字段名主键类别备注 EntityID 是 nvarchar 实体 ID Entitynvarchar 实体类型 PlaceIDnvarchar 存储库所 ID IsNewnvarchar 判断是否是新 提交的数据
二、审核流设计 变迁表（ Translate ）结构： 字段名主键类别备注 TranslateID 是 nvarchar 变迁 ID 号 Principalnvarchar 审核角色 Entitynvarchar 存储实体类型 PrePlaceIDnvarchar 前置存储库所 ID NextPlaceIDnvarchar 后续存储库所 ID