Petri网详细介绍及学习.ppt

* 计时Petri网 3,Petri网引入时间参数后的影响 （1）并行结构的网模型 图中t1和t2完全没有偏序关系，它们模拟的是完全独立的两个并行活动。当其中一个转移的时钟值减小到零时，这个转移就发生，并产生一个新标识。在这个新标识中，另一个转移仍可发生，它的时钟值被重新设置。由此可见，在时间参数引入Petri网后，可以同样模拟转移的并行性。不同的是，它们发生的先后次序将受到其时间初始值的影响 * 计时Petri网 3,Petri网引入时间参数后的影响（续） （2）冲突结构网模型 在无时间的Petri网中，t1和t2的发生是完全不确定的，哪一个转移发生都有可能，而且一个转移的发生会使另一个转移不可能再发生。在时间的Petri网中，哪个转移可发生与它们所关联的延迟时间有关。这里有3种可用策略、 基于优先级的机制 给转移赋予不同发生条件的谓词 决定转移发生的时间 * 计时Petri网 3,Petri网引入时间参数后的影响（续） （3）系统模型中的竞争策略的选择 在实际应用中，系统模型中的竞争策略的选择决定于系统任务的调度和控制策略，这是要重点考虑的。为了避免活动发生时间对调度和控制的影响，在系统模型中常采用即时转移来隔离时间转移，如图所示这种技术可以消除时间转移中的所有冲突 这种技术可以消除时间转移中的所有冲突 * 使用可覆盖性树可研究Petri网的特性（3） 两个不同的Petri网 一个活的Petri网 一个不活的Petri网 * 使用可覆盖性树可研究Petri网的特性（4） 相同的可覆盖性树 * 使用可覆盖性树可研究Petri网的特性（5） 不同的可达状态 一个活的Petri网 一个不活的Petri网 * 关联矩阵和状态方程 * 关联矩阵和状态方程 * 关联矩阵和状态方程 从关联矩阵和状态方程角度，Petri网的迁移使能条件和引发规则有如下形式: * 关联矩阵和状态方程 * 状态方程在可达性分析中的应用（1） 状态方程M = M0+CT ·U为部分解决可达性问题提供了一个依据。若Md 从 M0可达则方程CT ·U = Md－ M0 =△M必然存在一个非负整数解Ux，该解即为发生的计数向量。若无这样的解，Md 就不继从M0到达。 示例1 * 状态方程在可达性分析中的应用（2） 示例1（续） 在所示的Petri网中： 在状态M0下转移t3是可发生的。设M1是发生t3所得的标识，则有 * 状态方程在可达性分析中的应用（3） 示例1（续） 发生序列σ=t3 t2 t3 t2 t1表示成发生计数向量（1,2,2），σ发生后产生的新标识为 * 状态方程在可达性分析中的应用（4） 示例1（续） 考察标识 ，它可以从标识M0到达方程为 有一个解U=（0,4,5），它对应于发生序列σ=t3 t2 t3 t2 t3 t2 t3 t2 t3 * 状态方程在可达性分析中的应用（5） 再考察后标识 ，因方程 无解，所以标识 为不可达标识 * 状态方程在可达性分析中的应用（6） 注意，状态方程有解只是可达性的必要条件，而不是充分条件。这是由于缺少△M 初始标识信息导致的 示例2 考察所示的Petri网 * 状态方程在可达性分析中的应用（7） 示例2（续） 在所示的Petri网中 方程 * 状态方程在可达性分析中的应用（8） 示例2（续） 有一个解U = 。这个解对应的两个可能发生序列为t1 t2或t2 t1，然而这两个序列都不是可发生序列。因为在M0下，t1、t2都不可能发生。这里 若取初始标识为 则为可达的，且对应于发生计数向量 的发生序列为t1t2 谓词/迁移Petri网 有色Petri网 计时Petrf网 * 高级Petri网 谓词/迁移Petri网（Predicate/Transition nets, Pr/T网） Pr/T网的转移发生条件和引起的标识变化是通过刻画标记性质的谓词来解释的 示例：一个机械制造车间零件加工的简化Pr/T网系统模型 问题描述 有一名工人分别在机床甲和机床乙上加工零件。先加工完的机床要等待另一台机床加工完后，零件经装配才能卸下。然后，机床转入空闲，再进入就绪。以上加工过程重复进行 为简化问题，这里只考虑工人和机床的关系。其他如原材料来源、成品的去处，以及辅助工具（刀、量等）等一概不考虑 * 谓词/迁移Petri网 P/T网系统模型 * 谓词/迁移Petri网 先分析位置 从