建_与仿真(PETRI网部分)_样版课件.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
冲突双方谁先发生由系统实际运行环境及状态决定,即谁有优 先权是不确定的。 冲突又称为选择(choice)或不确定(nondeterminism), 是对系统性能影响最大的事件类型。 实例1:工业生产线的Petri网模型 有一工业生产线,要完成两项操作,分别为变迁t1和t2表示,变迁t1 将进入生产线的半成品s1s2用两个部件s3固定在一起,后形成中间件s4。然后第2个变迁t2 将s4 和s5用3个部件s3固定在一起形成中间件s6。完成t1和t2 都需要用到工具s7 假设受空间限制s2 s5最多不能超过100件, s4最多不能超过5件,s3最多不能超过1000件。 实例2: 基于Petri网的柔性制造系统(FMS)建模举例 板材加工FMS主要由以下三部分组成: ① 数控加工设备,包括:数控冲床、数控剪板机和数控折弯机等及其上下料辅助装置; ② 自动化物料运储装置,如立体仓库、堆垛机及上下料小车等; ③ 计算机控制及管理系统。 与金属切削FMS相比,板材FMS具有以下特点: ① 零件的种类、批量及复杂程度存在较大差异; ② 板料和零件的出入库等操作以托盘为单位,加工过程则以托盘 上的单张板料或零件为单位; ③ 作业计划制定涉及零件混合排样问题,零件种类、排样方法及 调度策略等对机床的换模形式、换模时间以及FMS效率具有重 要影响; ④ 板材零件的加工工序较为简单和固定。从板料到零件需要只经 过冲压、剪切和折弯等三道工序,有些零件则只需冲压和剪切 等两道工序。 具有冲压、剪切和折弯单元的板材加工FMS物理配置图 从系统建模角度,将板材加工FMS中的活动分为三类: ① 以冲压和剪切为特征的冲剪操作; ② 冲剪后零件的折弯操作; ③ 板料以及冲剪后零件的出入库操作。 采用Petri网建模的基本步骤: ① 划分和定义系统内所有活动及其相互关系; ② 采用Petri网描述上述活动及其关系,得到系统Petri网模型 其中,“▕ ”表示变迁,t1~t16为系统中的变迁 “? ”表示普通库所,p0~p20为普通库所 “◎ ”表示决策库所,pd0~pd7为决策库所 Petri网是一种图形演绎方法,应用Petri网分析系统故障就是将系统所不希望发生的事件作为顶库所,逐步找出导致这一事件的所有可能因素作为中间库所和底库所。故障树可以看作是系统中故障传播的逻辑关系,一般的单调关联故障树只含有与门和或门。故障树可以很方便地用Petri网表示,如与门采用多输入变迁代替,或门采用两个变迁代替。 案例3 Petri网的应用案例 * 与门 或门 故障树表示 Petri网表示 图2 故障树的Petri网模型表示 应用关联矩阵求割集 在故障树分析中,当一些底事件同时发生时,顶事件必然发生,能使顶事件发生的这些底事件的集合就称为割集。 如果割集中的任一底事件不发生时,顶事件也不发生,则这样的割集称为最小割集。 关联矩阵是Petri网的主要分析方法之一。在表示Petri网结构的有向图中,库所以圆表示;变迁以矩形表示(图3)。若从库所P到变迁t的输入函数取值为非负整数w,记为I (P,t)=w,用从P到t的一有向弧并旁注w表示;若从变迁t到库所P的输出函数取值为非负整数w,记为O(P,t)=w,用从t到P的一有向弧并旁注w表示。 特别地,若w=1,则不必标注;若I(P,t)=0或O(P,t)=0,则不必画弧。I与O均可表示为nxm非负整数矩阵,O与I之差(AT=O-I)称为关联矩阵。这里我们探讨规范网,所以w =1。 求图3中Petri网模型的关联矩阵: P3 t1 P5 P1 P2 P4 t2 t3 求图3中Petri网模型的关联矩阵: (1)找出关联矩阵中只有1和0,没有-1的行,则该 行对应的为顶库所(只有输入库所,没有输出库所),由此库所开始寻找(在此关联矩阵中为最后一行)。 (2)由顶库所对应行的1出发按列寻找到-1,此-1所对应行代表的库所为顶库所的一个输入库所,如果该列有多个-1,则说明对应同一变迁有多个输入库所,并且输入的库所为“相与”关系。 割集求解步骤 (3)由步骤(2)中找到的-1按行寻找1,如有1 则说明该库所为中间库所,继续按步骤(2)所述循环查找,直到所在行没有1为止。没有1,则说明该库所是一个底库所即基本事件。如果该行有多个1,则说明由这些1对应的库所对应多个变迁,应为“ 相或”关系。 (4)按步骤(2)、步骤(3)继续查找,直到查找到最底层库所。 (5)按照上面的“相与”“相或”关系将底 库所展开,则得到所有割集。 (6)按照布尔吸收律、

您可能关注的文档

文档评论(0)

liuhan98 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档