




已阅读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版短期担保个人借款合同示范文本
- 二零二五年度互联网借款投资合作合同示范
- 二零二五年度建筑工程钢筋加工及安装劳务合同规范
- 二零二五年度仓储租赁合同样本:自动化物流仓储版
- 二零二五年度美食节特色摊位经营授权合同
- 二零二五年度木材行业市场调研与分析合同
- 保险车险知识培训总结课件
- 施工合同 补充协议
- 楼梯切割安全生产合同范本
- 2025年银发族市场洞察报告
- 加油站秋季安全知识培训课件
- GB/T 23781-2024黑芝麻糊质量通则
- 年度设备维护保养计划表
- 110kV企业变电站短路电流计算及继电保护整定计算
- 2022年晋能控股煤业集团有限公司招聘笔试题库及答案解析
- 福建师范大学各学生组织部门简介
- CAMDS操作方法及使用技巧
评论
0/150
提交评论