Petri 网基本概念及介绍201512145Petri 网基本概念 Petri 网是一种网状模型，包括事件和条件两个节点类型，在这样的图形中，分布着表示状态资源或信息的托肯(Token) ，按照触发规则进行状态的演化，从而反映系统运行的全部过程。事件一般用“ 变迁” 表示，条件用“ 库所” 表示，托肯用库所内的小黑点表示，库所和变迁之间用有向弧连接。Petri 网基本概念Petri 网基本概念Petri 网基本概念讨论Petri 网系统时，容量函数K 为给定的Petri 网基本概念Petri 网基本概念Petri 网基本概念Petri 网基本概念 若一个 Petri 网中的每个迁移都只有一个输入位置和一个输出位置, 则称该网是确定的或称为一个状态机. 若每个位置恰好有一条进入弧和一条发出弧, 则称该网是一个标记图。这是一个状态机Petri 网基本概念Petri 网基本概念T2 、T3 并发并且该网为一个标记图Petri 网基本概念Petri 网的可达图是其可能状态和使能迁移关系的图表示。Petri 网基本性能 可达性 如果Petri 网的一个初始标识M0 通过不断激发变迁，最终得到一
