最新基于Petri网的审核流设计.pptVIP

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