武汉理工大学物流系统建模与仿真课件第四章 PN建模方法及制作.pptVIP

张 煜 教授 武汉理工大学 物流系统建模与仿真 PN建模方法及制作 第五讲 5.1 案例展示 5.2 基础知识 5.3 PN工具介绍与使用 5.4 基于PN工具的案例模型构建 5.5 基于PN工具构建模型的知识点反思 5.6 实践能力锻炼 5.7 课后知识扩展 5.8 要求与考核 5.9 课程目标 5.1 案例展示 案例5.1：2个库所和1个变迁的例子[模型5.1]。 结合实际生活场景，讲解例子各个图形符号想要表示的含义； 5.2 基础知识 PN网络静态结构描述 Place/库所P：表示状态或临时实体，图形表征为圆圈，符号表征为pi。 Transition/变迁T：表示状态/事件变化，图形表征为矩形，符号表征为tj。 流关系F(x,y)：库所与变迁之间表示流向，图形表征为弧，符号表征为pi→tj或tj→pi。 容量K(p)：库所允许放置资源的最大容量，k(pi)。 标识M(p)：库所当前拥有的资源数量；在变迁发生后，会变化；表征PN系统的动态变化；一系列的标识变化会构成树形图，表征该PN系统的可达性或可达空间。 权函数W(x,y)：表示变迁发生（对应状态/事件变化）时，该变迁消耗或产生的令牌数。 Token/令牌：表征库所pi当前资源的数量n，用n个黑点进行图形表征。 Fire/激活：表示变迁可以激发或使能或发生。 PN网络系统 六元组∑={P，T；F，K，W；M0} PN网络系统的运行规则 前面够用，后面够放！ 5.3PN工具介绍与使用 WinPeSim软件介绍 基本功能 简单使用 Petri网学习心得 5.4基于PN工具的案例模型构建[正过程] 案例5.2： 以第四讲中的案例4.2为例，结合WinPeSim工具，现场构建PN模型[模型5.2]。 试分析实体、事件、活动、状态等概念与库所、变迁、流关系等的关联。 5.5基于PN工具构建模型的知识点反思[逆过程] 案例5.3：以教材例2-7为例[模型5.3]。 某流水车间制造系统由2台机床Mech1和Mech2组成，可加工两种零件Part1和Part2。所有零件按照相同顺序通过两台机床，每台机床入口处有一个零件库，在系统出口也有一个零件库，系统进度计划要求两种零件交替加工 根据模型5.3，分析流水生产车间制造系统的运作； 分析模型5.3中各个图形符号的含义； 理解PN网络系统的标识是如何变化。 5.6实践能力锻炼 案例5.4：[模型5.4] 利用WinPeSim构建左侧PN网络系统的模型； 结合右侧可达树，在WinPeSim上进行部分验证和思考。 5.7课后知识扩展 产生死锁的四个必要条件 ?互斥条件：一个资源每次只能被一个进程使用 请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放 不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系 1 2 3 4 这四 只要系统发生死锁，这些条件必然成立，而只要上述条件之一不满足，就不会发生死锁。 ? 思考：PN网络系统如何构造，会出现以上情况？可否构建，实践！！ 5.8要求与考核 每3人一组，进行PN工具WinPeSim实践，理解PN基本知识点的内涵； 按完成情况，给平时成绩[5分制]： { 完成较好，A；一般完成，B；部分完成，C；无团队，D；缺勤，E；}； 每组至少带一台笔记本电脑，安装PN工具WinPeSim。 5.9达成目标 结合实例，理解本讲知识点的内涵； 结合实例，继续提高团队协作能力和逻辑思维能力 利用PN工具，初步提升使用PN工具WinPeSim的能力。