




已阅读5页,还剩11页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第5讲 PETRI网模拟原理 Petri网 n1962年德国学者Carl A.Petri在其博士论文 中提出的描述事件和条件关系的网络 n用简单图形较好的表示并发、同步、因果 等关系。以网图的方式简洁、直观的模拟 离散事件系统 n目前已得到广泛应用,有限状态机、通信协 议、同步控制、生产系统、形式语言、多 处理器系统等建模中 基本概念 n资源:与系统状态变化有关的因素,如原 料、产品、工具、设备等 n状态元素:资源归类后的抽象 n库所:一个场所,存放状态元素 n变迁:资源状态变化 n事件:引起条件的变迁称为事件 n容量:库所的最大资源数量 Petri网数学定义 n一个Petri网是一个三元组 n式中P为库所有限集 nT为变迁有限集 nF 流关系 一个简单的Petri网 容量和权函数定义 n设N=(P,T,F)为有向图 nK为N上P的容量 nK:P1,2,3, n在网图中用库所中的黑点表示,无黑点的 表示无穷大 nW为N上F的权重 nW:F 1,2,3, n在网图中用有向弧上的数字表示,无数字 的表示权重为1 带权重和库所容量的Petri网 实例:工业生产线的Petri网模型 n有一工业生产线,要完成两项操作,分别为 变迁t1和t2表示,变迁t1 将进入生产线的半成 品s1s2用两个部件s3固定在一起,后形成中间 件s4。然后第2个变迁t2 将s4 和s5用3个部件 s3固定在一起形成中间件s6。完成t1和t2 都需 要用到工具s7 n假设受空间限制s2 s5最多不能超过100件, s4最多不能超过5件,s3最多不能超过1000件 。 Petri网模型 Petri网类型 n基本Petri网:每个库所容量为1,这样库所可称为 条件,变迁可称为事件。故又称为条件/事件系统 C/E n低级Petri网:库所容量和权重为=1的任意整数 ,称为库所/变迁网。简作P/T网 n定时Petri网:将各事件的持续时长标在库所旁边 ,库所中新产生的标记经过一须时间后才加入到 网中,或是标在变迁上,经过时间延迟后发生。 n高级Petri网:谓词/事件网、染色网、随机网等 C/E系统 n基本逻辑关系表达:顺序、并发、冲突、 异或、死锁 n事例与进程,进程的合成 nC/E基本例子:生产者/消费者Petri网 逻辑关系图:
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年甘肃陇南事业单位预计将于5月中旬发布考前自测高频考点模拟试题及完整答案详解一套
- 2025年福建省宁德市霞浦县实验幼儿园招聘若干人考前自测高频考点模拟试题附答案详解(完整版)
- 2025年浙江宁波市卫生健康委部分直属事业单位公开招聘高层次人才69人(第二批)考前自测高频考点模拟试题及一套答案详解
- 2025年福建南平武夷有轨电车有限公司招聘1人模拟试卷参考答案详解
- 2025年甘肃省兰州大学土木工程与力学学院聘用制(B岗)人员招聘模拟试卷及一套答案详解
- 保定市人民医院胸腔镜食管癌切除术技术考核
- 2025广西南宁市江南区翠湖路小学春季学期临聘教师招聘1人模拟试卷及完整答案详解1套
- 衡水市人民医院大量输血方案理论与实践考核
- 秦皇岛市中医院淋巴瘤病理分型与治疗方案选择考核
- 沧州市中医院胰腺术后长期随访考核
- 第二届“强国杯”技术技能大赛-工业大数据管理与分析赛项考试题库(含答案)
- 徐州市城市轨道交通1号线一期工程电动客车运营、修理及维护手册
- 制作并观察植物细胞临时装片教学设计(五篇模版)
- 导游证《中国古代建筑》知识考试(重点)题库(含答案)
- 《大气的组成和垂直分层》
- GB/T 2423.17-2024环境试验第2部分:试验方法试验Ka:盐雾
- 第一次月考试卷(月考)-2024-2025学年三年级上册数学人教版
- 新高考生物综合复习《稳态与调节》高考真题汇编(图片版含答案)
- CJT 399-2012 聚氨酯泡沫合成轨枕
- 中小微企业FTTR-B全光组网解决方案
- 第七单元单元任务“视频拍摄脚本写作”统编版高中语文必修上册
评论
0/150
提交评论