02 PERTI网.ppt

制造系统建模、性能分析和优化Petri网概述 1.Petri是一种适合于系统描述和分析的数 学模型. 2.具有两类性质不同的节点：状态节点，变 迁节点. 3.精确的数学定义. 1.何谓Petri网 2. 起源 1962年，由德国人Carl Adam Petri先生在他的博士论文“Communication with Automata”中首次提出“网状结构的信息流模型”； 2.起源 以后众人大大发展了Petri网理论；特别的，A.W.Holt分别于68年和70年在“Final Report of the Information System Theory Project”和“Events and Condition”中模拟和分析了具有并行分支的系统，称为Petri Nets； 3.一般Petri网模型 一般Petri网包含以下部分： 位置集合P:P={P1,P2,…,Pn},是位置点的有限集合，代表了系统的状态。 转换集合T:T={T1,T2,…,Tm},是转换点的有限集合，代表了改变系统状态的时间或行为。 3.一般Petri网模型 输入功能I:I(Ti)为P 的子集，代表Ti 输入的位置点集合。 输出功能O:O(Ti)为P 的子集，代表Ti 输出的位置点集合。 3. 一般Petri网模型 标记μ：μ（ P1,P2,…,Pn ）为标记向量，代表各个位置上的标记分布。当输入位置中都有标记时，转换才可触发；转换后从输入位置各取出一个标记，并在各输出位置产生一个新的标记。 3. 一般Petri网模型 在Petri网模型的代数表示中，Petri网就是一个用上述集合表达的五元组: G(P,T,I,O,μ) 4. Petri网模型的图形表示 在Petri网模型的图形表示中，位置集合P用“○”表示，转换集合用横杠“─”或竖杠“│”表示，位置和转换之间用有向边“→”连接，标记用黑点表示，如“⊙”。 5. 简例 图为一台具有双交换工作台的加工中心的工作简图。 采用图形表示法建立的一般Petri网模型。 系统的动态运行过程 假设系统的初始状态为P5、P6和P2中有标记，则系统的动态运行过程为： T1前的两个位置P5和P6中都有标记，则表示装载毛坯的T1转换可以触发，其他转换暂不能触发。 2. T1转换后，从P5和P6中各取一个标记，同时产生一个新标记送到P1。 3. 此时P1和P2中均有标记，则表示内外工作台换位的T2转换触发，同时从P1和P2各取一个标记送到P3和P4。 4. 此时P3中有标记，则表示加工的T3转换触发，同时从P3中取一个标记送到P2。 5. 在T3转换触发的同时，由于P4中也有标记，则表示搬卸成品的T4转换触发，同时从P4中取一个标记送到P5和P7。此时该制造过程的一个循环结束，若毛坯库中仍有毛坯，则可进行下一个循环过程。 Petri网图示模型的优点 可见，Petri网图示模型直观、清楚地描绘了该制造过程的各个状态、状态之间变迁条件以及各种转换之间的顺序关系，是对系统的动态特性进行本质描绘和分析的重要工具. Petri网图示模型的优点 如从Petri网中可以看出该过程存在两个回路，第一个回路为R1(T1,T2,T4)，第二个回路为R2(T2,T3)，每个回路都有一个标记。若两个回路的最短运行周期分别是TR1和TR2，则整个系统的最短运行周期为MAX(TR1，TR2)。 6.采用代数表示法构造Petri网模型 该Petri网模型的五元组为G(P,T,I,O,μ)，则 P={P1,P2,P3,P4,P5,P6,P7} T={T1,T2,T3,T4} I(T1)={P5,P6}, I(T2)={P1,P2}, I(T3)={P3}, I(T4)={P4} O(T1)={P1}, O(T2)={P3,P4} O(T3)={P2}, O(T4)={P5,P7} 标记分布 由于P6,P7不影响系统内部状态转换，故各位置标记的分布为： μ=μ（P1,P2,P3,P4,P5） 在初始状态，各位置标记的分布为： μ0=（0 1 0 0 1） 代数表示法的优缺点 缺点：采用Petri网的代数表示法没有图形表示法直观。 优点：采用Petri网的代数表示法可以对Petri网的性质进行进一步的分析，如Petri网的活性（Live-ness)、安全性（Safeness)、保守性（Conservation)等。 Petri网的活性 Petri网的活性指用U(μ)表示可达标记集合时， ? μ∈U(μ), 都存在μ*∈ U(μ)，使转换触发。 Petri网的安全性 Petri网的安全性：如果?μ∈U(μ