您好,欢迎访问三七文档
当前位置:首页 > 商业/管理/HR > 信息化管理 > Petri网基本概念及介绍
Petri网基本概念及介绍201512145Petri网基本概念•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网基本性能•活性•出现锁死的情况,是因为不合理的资源分配策略或者某些或全部资源的耗尽。实际生产系统中,许多资源被共享,比如提升机;•谢谢观看!!!
本文标题:Petri网基本概念及介绍
链接地址:https://www.777doc.com/doc-5186950 .html