petri网详细介绍与学习.pptVIP

Petri网;1962年德国学者Carl Adam Petri在其博士论文《自动机通信》中提出的描述事件和条件关系的网络。这种系统模型后来以Petri网为名流传。现在Petri网一词既指这种模型，又指以这种模型为基础发展起来的理论。有时又把Petri网称为网论(net theory)。 Petri网是一种适合于并发、异步、分布式软件系统规格与分析的形式化方法。 Petri网分为位置/迁移Petri网和高级Petri网两类。高级Petri网包括:谓词/迁移Petri网、有色Petri网、计时Petri网等。 ;(1)通讯协议的验证 通讯协议的验证是Petri网应用最为成???的领域之一最初应用在70年代初期，由于 Petri网以形式语言作为基础，可形式化地 对通信协议进行正确性验证。 (2)计算机通讯网络性能评价及多媒体应用 随着计算机网络技术和信息技术的发展，对网络进行性能分析的需要，不仅出现于企业内部的生产控制的局域总线网，而且出现于光纤局域网或ATM网中。 (3)软件工程 由于产品开发中的竞争和革新需要，导致产品开发者面临巨大压力。在软件工程中Petri网主要用于软件系统的建模和分析，比较成熟的是加色Petri网，可以用于大型软件系统的设计、说明、仿真、确认和实现，在软件开发生命周期的各个阶段，Petri网都可以得到很好的应用。;(4)知识处理 Petri网可用于Al中的知识表达和推理的形式化模型的建立，可以表达各个活动之间的各种关系，如顺序关系、与关系、或关系等，并可在模型基础上通过已知的初始状态和初始条件进行逻辑推理。 (5)FMS的建模、分析和控制 柔性制造系统(FMS)对于现代制造业具有重要作用，Petri网由于其自身优点，在制造系统中应用广泛，如带缓冲区的简单生产线、机床加工中心、自动生产线、柔性制造系统和及时加工系统。 (6)系统可靠性分析 系统的可靠性不仅包括硬件的可靠性、也包括软件可靠性.利用随机Petri网对系统进行可靠性分析，对软件复用、软件可靠性分析。;?;三元组N=（P，T；F）构成网（net）的充分必要条件： ① P∩T=ф，规定了位置和变迁是两类不同的元素； ② P∪T≠ф，表示网中至少有一个元素； ③ F=（P×T）∪(T×P)，建立了从位置到变迁、从变迁到位置的单方向联系，并且规定同类元素之间不能直接联系； ;位置集和迁移集是Petri网的基本成分，流关系是从它们构造出来的。图形表示中，用圆圈表示位置，用黑短线或者方框表示迁移，用有向弧表示流关系。 ;例子： ;?;?;?;x∈N is called isolated iff ?x∪x? =?. ;?;?;?;例子： ;容量函数和权函数均为常量1的Petri网称为基本Petri网(简称基本网)或条件/事件网。容量函数恒为无穷和权函数恒为1的Petri网称为普通Petri网，简称为普通网。 基本网和普通网都是Petri网的特殊情形。换言之，Petri网是基本网和普通网的扩展，但事实上它们之间的关系并不那么简单，在某种意义上可以是等价的，因为Petri网和基本网都可改造成普通网。基本网和普通网可以用四元组PN=(P,T,F,M)来表示。 ;?;?;迁移的引发规则;一个没有任何输人位置的迁移叫源迁移，一个源迁移的使能是无条件的。一个源迁移的引发只会产生令牌，而不消耗任何令牌；一个没有任何输出位置的迁移叫阱迁移，一个阱迁移的引发只会消耗令牌，而不产生任何新的令牌。 ;Petri网具有丰富的结构描述能力，下图给出了顺序、并发、冲突、混惑结构下的Petri网模型。;?;?;实例1：工业生产线的Petri网模型;实例二生产者、消费者问题的Petri网描述;实例二生产者、消费者问题的Petri网描述;实例二生产者、消费者问题的Petri网描述;实例二生产者、消费者问题的Petri网描述;实例三 Petri网的变迁;?;?;?;例子： a图有界，b图无界，P5的令牌可以无限增多。;有界性是一个非常重要的特性,它保证系统在运行过程中不会需要无限的资源. 有界性反映一个位置在系统运行过程中能够获得的最大的令牌数,即所能获得的最大资源数,它与系统的初始令牌有关. 在实际系统设计中,必须使网络中的每个库所在任何状态下的令牌数小于库所的容量,这样才能保证系统的正常运行。 ;?;对于Petri网（N，M0）中的一个转移t，实际上可能属于以下情况： L0级活（死的）：仅当t在L（M0）中任何发生序列中都无法发生 L1级活（可能能发生）：仅当t 在L（M0）中的一些发生序列中至少可发生一次 L2级活：已知任一正整数k，仅当t 在L（M0）中的一些发生序列至少可发生k 次 L3级活：仅当t 在L（M0）中的一些发生序列中可以无