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