Petri网基本概念及介绍分析.pptVIP

Petri网基本概念及介绍 201512145 Petri网基本概念 Petri网是一种网状模型，包括事件和条件两个节点类型，在这样的图形中，分布着表示状态资源或信息的托肯(Token)，按照触发规则进行状态的演化，从而反映系统运行的全部过程。事件一般用“变迁”表示，条件用“库所”表示，托肯用库所内的小黑点表示，库所和变迁之间用有向弧连接。 Petri网基本概念 Petri网基本概念 Petri网基本概念 讨论Petri网系统时，容量函数K为给定的 Petri网基本概念 Petri网基本概念 Petri网基本概念 Petri网基本概念 若一个 Petri 网中的每个迁移都只有一个输入位置和一个输出位置, 则称该网是确定的或称为一个状态机. 若每个位置恰好有一条进入弧和一条发出弧, 则称该网是一个标记图。 这是一个状态机 Petri网基本概念 Petri网基本概念 T2、T3 并发并且该网为一个标记图 Petri网基本概念 Petri网的可达图是其可能状态和使能迁移关系的图表示。 Petri网基本性能 可达性 如果Petri网的一个初始标识M0通过不断激发变迁，最终得到一个新的标识Mn，那么则认为Mn是从M0可达的； 若从M0开始只需要激发一个变迁即可达，则称Mn是从M0立即可达的； Petri网基本性能 可达性具体应用： ①系统按照一定轨迹运行，系统能否实现一定状态，典型问题是生产调度计划的验证； ②要求达到一定状态，如何确定系统运行轨迹； 第一个问题可描述为：给定Sr初始标识以及期望达到标识Mr，验证之； 给定m0和mr,寻找sr使得m0[Srmr. Petri网基本性能 有界性 有界性反映系统运行过程中对资源变量的需求，它意味着，Petri网艺在其所有可能的状态标识下，网的各位置节点中的托肯数必为有界的。在理论分析时常可假定位置容量为无穷，但在实际系统设计中，必须使网络中的每个位置在任何状态下的标志数小于位置的容量，这样才能保证系统的正常运行，不至于产生溢出现象。 Petri网基本性能 有界性 通常，库所表示制造系统中的工件、工具、托盘以及AGV的存放，还用于表示资源的可利用情况，有界性是检查被Petri所描述的系统是否存在溢出的有效尺度，防止确保不会重复启动某一正在进行的操作。 Petri网基本性能 活性 对于一个变迁T，在任意标识m下，若存在某一变迁序列Sr,该变迁序列的激发使得此变迁T使能，责成该变迁是活的（Live），若一个Petri的所有变迁都是活的，则称该网是活的。 Petri网基本性能 活性 死变迁： 若存在m，不存在从m开始的变迁序列，该序列的激发使得m使能，则该变迁是死变迁； 锁死： 若存在一个m，在此状态下，无任何变迁使能，则称Petri包含一个锁死； Petri网基本性能 活性 出现锁死的情况，是因为不合理的资源分配策略或者某些或全部资源的耗尽。实际生产系统中，许多资源被共享，比如提升机； 谢谢观看！！！