Petri网基本概念及介绍_第1页
Petri网基本概念及介绍_第2页
Petri网基本概念及介绍_第3页
Petri网基本概念及介绍_第4页
Petri网基本概念及介绍_第5页
已阅读5页，还剩15页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

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使得m0Srmr.,Petri网基本性能,有界性有界性反映系统运行过程中对资源变量的需求，它意味着，Petri网艺在其所有可能的状态标识下，网的各位置节点中的托肯数必为有界的。在理论分析时常可假定位置容量为无穷，但在实际系统设计中，必须使网络中的每个位置在任何状态下的标志数小于位置的容量，这样才能保证系统的正常运行，不至于产生溢出现象。,Petri网基本性能,有界性通常，库所表示制造系统中的工件、工具、托盘以及AGV的存放，还用于表示资源的可利用情况，有界性是检查被Petri所描述的系统是否存在溢出的有效尺度，防止确保不会重复启动某一正在进行的操作。,Petri网基本性能,活性对于一个变迁T，在任意标识m下，若存在某一变迁序列Sr,该变迁序列的激发使得此变迁T使能，责成该变迁是活的（Live），若一个Petri的所有变迁都是活的，则称该网是活的。,Petri网基本性能,活性死变迁：若存在m，不存在从m开始的变迁序列，该序列的激发使得m使能，则该变迁是死变迁；锁死：若存在一个m，在此状态下，无任何变迁使能，则称Petri包含一个锁死；,Petri网基本性能,活性出现锁
人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论