Petri网及其应用.ppt

Petri网及其应用 一、Petri网的起源与发展 二、基本Petri网 Petri网的定义 Petri网的结构 Petri网的运行规则 三、基本PN的性能 四、PN的基本分析方法 五、Petri网的特点 六、PN的应用及难点 Petri网的起源与发展 Petri网最早是由卡尔·A·佩特里于1962年在他的博士论文提出的，用来描述计算机系统事件之间的因果关系。早期Petri网主要应用于计算机与信息处理领域，后来具有工程背景的研究人员将Petri网方法用在工程系统尤其是自动制造系统的研究。40多年来， Petri网不断的充实和发展，日臻完善，在计算机、自动化、通信、交通、电力与电子、服务以及制造等领域得到广泛的应用。 Petri网采用可视化图形描述，用形式化的数学方法支持，表达离散事件动态系统（Discrete Event Dynamic System，DEDS）的静态结构和动态变化；它是一种结构化的DEDS描述工具，可以描述系统异步、同步、并行逻辑关系；既能够分析系统运行性能（如制造系统设备利用率、生产率、可靠性等），又可以用于检查与防止诸如自动系统的锁死、堆栈溢出、资源冲突等不期望的系统行为性能；能够直接从可视化的Petri网模型产生DEDS监控控制编码；还可以用于DEDS的仿真，从而通过结构变化描述系统的变化。 Petri网的结构 经典的Petri网是简单的过程模型，由库所和变迁，有向弧，以及令牌等元素组成的。 库所（Place）圆形节点 变迁（Transition）方形节点 有向弧（Connection）是库所 和变迁之间的有向弧 令牌（Token）是库所中的动态对象（用库所p中圆点表示），可以从一个库所移动到另一个库所 注意！ 有向弧是有方向的 两个库所或变迁之间不允许有弧 库所可以拥有任意数量的令牌 有两个变迁都被允许的可能，但是一次只能发生一个变迁 Petri网的定义 Petri网的运行规则 在PN中，我们以变迁t表示一事件，用变迁的使能（enabling）表示事件因前提条件得以满足而能够发生。我们还用t的输入库所（通过指向t的弧连接的库所）表示该事件的发生所需要的前提局部状态，用由输入库所至t的输入函数定义这些要求局部前提状态实现的次数，而局部状态的实现情况由库所中所包含的令牌（token）数目来表示。 如果一个变迁的每个输入库所（input place）都拥有令牌，该变迁即为被允许(enable)。一个变迁被允许时，变迁将发生(fire)，输入库所(input place)的令牌被消耗，同时为输出库所(output place)产生令牌。  基本Petri网的性能 作为数学工具，PN具有一些性质。系统的特性可分为行为（Behavioral）特性与结构（Structural）特性。 可达性 有界性与安全性 活性 可逆性与主宿状态 守衡性 …… 1.可达性(Reachability)。若从初始标识m0开始激发一个变迁序列mr，则称mr是从m0可达的。 可达性用以描述制造系统这样的2个问题。 （1）系统按照一定的轨迹运行，系统是否能够实现一定的状态或者不期望的状态不出现，典型的问题是生产调度计划的验证。即按照一定的生产调度计划进行生产，一定的生产任务是否能够完成； （2）要求到达一定的状态，如何确定系统的运行轨迹，典型的问题是生产调度问题。 2.有界性(Boundedness)和安全性（safty）。 在一个Petri网中的每一个位置中,令牌数不超过一个有限整数k,即 p∈P, M(p)≤k，称Petri网是k有界的,k=1时称为安全的。 通常，库所用于表示制造系统中的工件、工具、托盘以及AGV的存放区，还用于表示资源的可利用情况。确认这些存放区是否溢出或资源的容量是否溢出是非常重要的。PN的有界性是检验被描述的系统是否存在溢出的有效尺度。 3.活性(Liveness)。 对于一变迁t?T，在任一标识m?R下、，若存在某一变迁序列sr，该变