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网基本性能 可达性具体应用： ①系统按照一定轨迹运行，系统能否实现一定