PETRI网建模理论基础PPT学习资料

PETRI网建模理论基础PPT学习资料 PETRI网建模理论基础是Petri网应用领域中的一个重要分支，它是由德国学者Carl A. Petri在1962年提出的，用于描述事件和条件关系的网络。PETRI网是用简洁的图形方式来描述系统的状态和行为，通过网图的方式来简洁地模拟离散事件系统。 PETRI网的应用领域非常广泛，包括： (1) 通讯协议的验证：Petri网可以形式化地验证通信协议的正确性。 (2) 计算机通讯网络性能评价及多媒体应用：Petri网可以用于计算机网络技术和信息技术的发展，对网络进行性能分析。 (3) 软件工程：Petri网可以用于软件系统的建模和分析，比较成熟的是加色Petri网，可以用于大型软件系统的设计、说明、仿真、确认和实现。 (4) 知识处理：Petri网可以用于Al中的知识表达和推理的形式化模型的建立，可以表达各个活动之间的各种关系。 (5) FMS的建模、分析和控制：Petri网可以用于柔性制造系统(FMS)的建模、分析和控制。 (6) 系统可靠性分析：Petri网可以用于系统的可靠性分析，对软件复用、软件可靠性分析。 PETRI网的基本概念包括： * 资源：与系统状态变化有关的因素，如原材料、产品、工具、设备等。 * 状态元元素：资源归类后抽象的元素。 * 库所：一个场所，存放状态元元素。 * 变迁：资源状态变化。 * 事事件件：引起条条件的变迁称为事事件件。 * 容量：库所的最大资源数量。 PETRI网的数学定义是一个三元组，包括： * 库所（place）的集合P={p1，p2，…，pm}； * 变迁（transition）的集合T={t1，t2，…，tn}； * 输入函数和输出函数集F =（P×T）∪（T×P），称为流关系。 PETRI网的充分必要条件包括： * P∩T=ф，规规定了库所和变迁是两类不同的元素； * P∪T≠ф，表明网中至少有一个元素； * F=F=（P×T）∪（T×P），建立了从库所到变迁、从变迁到库所的单方向联系。 PETRI网的应用可以被分为三个主要部分： * 库所（place）：表明系统的状态。 * 变迁（transition）：表明资源的消耗、使用及使系统状态产生变化。 * 输输出函数（input/output function）：表明库所和变迁之间的关系。 图形化表述：以圆圈表明库所，以粗实线表明变迁，以连结库所与变迁之间的有向弧表明输输出函数，用令牌（token）表明库所中拥有的资源数量。