基于Petri网的审核流设计.pptx

基于Petri网的审核流设计

一、Petri网的概念原理

二、审核流设计

2008年8月18日

jjkk

1

jjkk2

一、Petri网

变迁(Translate)

令牌(Token)

库所(Place)

什么是Petri网?

■Petri网是1962年被CarlAdamPetri作为

一种过程建模和分析的工具提出，它是一种图形化描述过程的强有力的工具。

jjkk3

一、Petri网

■经典的Petri网是简單的过程模型

■它由：库所(Place)、變迁(Transition)、有向弧，以及令牌(Token)组成的。

1、什么是库所(Place)?

■2、什么是變迁(Transition)?

3、什么是令牌(Token)?

jjkk4

一、Petri网

1、什么是库所(Place)?

■库所：表示媒介、缓冲器、地理位置、(子)状态、阶段或条件。

注：在我们审核流设计当中，我们把库所

(Place)设计成为存储我们审核实体的场所。

jjkk5

一、Petri网

2、什么是变迁(Translate)?

■变迁：表示事件、操作、转换或传输等

变迁是Petri网中的主动因素。通过实施变迁，过程从一个状态转变到另一个状态。

注：在我们审核流设计当中，我们把变迁

(Translate)设计成为审核人员对审核实体进

行的操作。

jjkk6

一、Petri网

3、什么是令牌(Token)?

■令牌：表示对象，这些对象可能是具体

的事物，也可能是抽象的信息。

注：在我们审核流设计当中，我们把令牌(Token)设计成为审核实体。

jjkk7

一、Petri网

■Petri网原理：

如果一个变迁的每个输入库所都拥有令牌，该变迁即为被允许或就绪。一个变迁被允许时，变迁将发生，输入库所的令牌被消耗，同时为输出库所产生令牌。

jjkk8

一、Petri网

变迁(Translate)

库所(Place)

令牌(Token)

一、Petri网

变迁(Translate)

令牌(Token)

库所(Place)

执行前

执行后

jjkk

9

起始存储审核实体场所

一级审核审核通过

终点存储审核实体场所

二级审核

jjkk10

、审核流设计

审核拒