《PETRI网建模理论基础ppt课件.ppt》由会员分享，可在线阅读，更多相关《PETRI网建模理论基础ppt课件.ppt（47页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、5.Petri网建模理论基础petri网的应用领域n(1)通讯协议的验证 通讯协议的验证是Petri网应用最为成功的领域之一最初应用在70年代初期，由于 Petri网以形式语言作为基础，可形式化地 对通信协议进行正确性验证。n(2)计算机通讯网络性能评价及多媒体应用 随着计算机网络技术和信息技术的发展，对网络进行性能分析的需要，不仅出现于企业内部的生产控制的局域总线网，而且出现于光纤局域网或ATM网中。n(3)软件工程 由于产品开发中的竞争和革新需要，导致产品开发者面临巨大压力.在软件工程中Petri网主要用于软件系统的建模和分析，比较成熟的是加色Petri网，可以用于大型软件系统的设计、说明
2、、仿真、确认和实现，在软件开发生命周期的各个阶段，Petri网都可以得到很好的应用。n(4)知识处理 Petri网可用于Al中的知识表达和推理的形式化模型的建立，可以表达各个活动之间的各种关系，如顺序关系、与关系、或关系等，并可在模型基础上通过已知的初始状态和初始条件进行逻辑推理。n(5)FMS的建模、分析和控制 柔性制造系统(FMS)对于现代制造业具有重要作用，Petri网由于其自身优点，在制造系统中应用广泛，如带缓冲区的简单生产线、机床加工中心、自动生产线、柔性制造系统和及时加工系统。n(6)系统可靠性分析 系统的可靠性不仅包括硬件的可靠性、也包括软件可靠性.利用随机Petri网对系统进行
3、可靠性分析，对软件复用、软件可靠性分析。5.1 基本概念resourcestateplace ,“S”transitiontransition eventCapability，“K”Petri网数学定义n一个Petri网是一个三元组nP=p1，p2，pm为为库所（库所（place）的集合；的集合；nF =（PT）（TP）为）为输入函数和输出函数集输入函数和输出函数集，称为流关系。称为流关系。( , ,)NP T F一个简单的Petri网库所变迁 库所中令牌分布决定变迁的使能（库所中令牌分布决定变迁的使能（enabledenabled）和激发（和激发（firefire），）， 变迁的激发又将改变
4、令牌的分布。变迁的激发又将改变令牌的分布。 以变迁激发导致令牌在库所间的流动，以变迁激发导致令牌在库所间的流动，PetriPetri网可以用于模拟系网可以用于模拟系 统的动态运行过程，反映系统的动态特性。统的动态运行过程，反映系统的动态特性。网网N=N=（P P，T T；F F）构成了描述系统静态结构框架，但还不能描构成了描述系统静态结构框架，但还不能描述系统静态结构的全貌。述系统静态结构的全貌。 网论尊重资源有限的事实。实际上，变迁发生所需的资源是有网论尊重资源有限的事实。实际上，变迁发生所需的资源是有 限的，库所容量也应是有限的。限的，库所容量也应是有限的。 完整的网系统应指明资源的初始分
5、布，规定变迁的活动原则，完整的网系统应指明资源的初始分布，规定变迁的活动原则，确定库所容量和变迁与资源数量之间的关系。确定库所容量和变迁与资源数量之间的关系。实例1：工业生产线的Petri网模型n有一工业生产线，要完成两项操作，分别为变迁t1和t2表示，变迁t1 将进入生产线的半成品s1s2用两个部件s3固定在一起，后形成中间件s4。然后第2个变迁t2 将s4 和s5用3个部件s3固定在一起形成中间件s6。完成t1和t2 都需要用到工具s7n假设受空间限制s2 s5最多不能超过100件， s4最多不能超过5件，s3最多不能超过1000件。Petri网模型 板材加工板材加工FMSFMS主要由以下
6、三部分组成：主要由以下三部分组成： 数控加工设备，包括：数控冲床、数控剪板机和数数控加工设备，包括：数控冲床、数控剪板机和数控折弯机等及其上下料辅助装置；控折弯机等及其上下料辅助装置； 自动化物料运储装置，如立体仓库、堆垛机及上下自动化物料运储装置，如立体仓库、堆垛机及上下料小车等；料小车等； 计算机控制及管理系统。计算机控制及管理系统。 与金属切削与金属切削FMSFMS相比，板材相比，板材FMSFMS具有以下特点具有以下特点： 零件的种类、批量及复杂程度存在较大差异；零件的种类、批量及复杂程度存在较大差异； 板料和零件的出入库等操作以托盘为单位，加工过程则以托盘板料和零件的出入库等操作以托盘
7、为单位，加工过程则以托盘 上的单张板料或零件为单位；上的单张板料或零件为单位； 作业计划制定涉及零件混合排样问题，零件种类、排样方法及作业计划制定涉及零件混合排样问题，零件种类、排样方法及 调度策略等对机床的换模形式、换模时间以及调度策略等对机床的换模形式、换模时间以及FMSFMS效率具有重效率具有重 要影响；要影响； 板材零件的加工工序较为简单和固定。从板料到零件需要只经板材零件的加工工序较为简单和固定。从板料到零件需要只经 过冲压、剪切和折弯等三道工序，有些零件则只需冲压和剪切过冲压、剪切和折弯等三道工序，有些零件则只需冲压和剪切 等两道工序。等两道工序。 Petri网（Petri net
8、） 从系统建模角度，将板材加工从系统建模角度，将板材加工FMSFMS中的活动分为三类中的活动分为三类： 以冲压和剪切为特征的冲剪操作； 冲剪后零件的折弯操作； 板料以及冲剪后零件的出入库操作。 采用采用PetriPetri网建模的基本步骤网建模的基本步骤： 划分和定义系统内所有活动及其相互关系； 采用Petri网描述上述活动及其关系，得到系统Petri网模型板材加工板材加工FMSFMS的的PetriPetri网模型网模型其中，“ ”表示变迁，t1t16为系统中的变迁 “ ”表示普通库所，p0p20为普通库所 “ ”表示决策库所，pd0pd7为决策库所 Petri网（Petri net） Pet
9、ri网（Petri net） Petri网（Petri net） 5.2 PetriPetri网的行为特性：网的行为特性： 与其它建模方法相比，与其它建模方法相比，PetriPetri网的优点不仅表现在建模能力上，网的优点不仅表现在建模能力上，更主要表现在它所具有的分析能力上。更主要表现在它所具有的分析能力上。5.2.1 顺序关系5.2.2 并发关系5.2.3 可达性n是研究任何系统动态特性的基础,决定系统能否到达一个指定的状态. (1)系统按照一定的流程运行，系统是否能够实现一定的状态；或者不期望的状态不出现。比如：生产调度计划的验证（按照一定的生产调度计划进行生产，一定的生产任务是否能够完
10、成）可达性（2）要求到达一定的状态，如何确定系统的运行轨迹（流程）。比如：生产调度，如何安排作业顺序？死锁关系5.2.4 活性 n在系统中用于检测是否存在死锁。一个系统存在的一个潜在问题是死锁,为了避免死锁,系统的Petri网模型必须具有活性. （1）互斥：同时争夺唯一资源（2）占用且等待（3）无抢占（4）循环等待 冲突的实质是竞争资源。 冲突就是指这种两者都有发生权，但在同一时刻只能有一个发 生的关系。 冲突双方谁先发生由系统实际运行环境及状态决定，即谁有优 先权是不确定的。冲突又称为选择（choice）或不确定（nondeterminism），是对系统性能影响最大的事件类型。5.2.5 有
11、界性 n是一个非常重要的特性是一个非常重要的特性, ,它保证系统在它保证系统在运行过程中不会需要运行过程中不会需要无限的资源无限的资源. .n有界性反映有界性反映一个库所一个库所在系统运行过程中能在系统运行过程中能够获得的最大的令牌数够获得的最大的令牌数, ,即所能获得的即所能获得的最大最大资源数资源数, ,它与系统的初始令牌有关它与系统的初始令牌有关. . n在实际系统设计中,必须使网络中的每个库所在任何状态下的令牌数小于库所的容量,这样才能保证系统的正常运行。5.2.6 安全性 （是否会溢出）n决定系统中正在执行的操作不会发出请求.若Petri网为1有界,则称此Petri网是安全的.这种网
12、的每一个库所 要么有一个令牌,要么 没有令牌.安全性是有 界性的一种特殊情况 . 在制造业系统和过程控制系统中存在着一个重要的问题：错误复原，即系统能否重新回到原来状态(保证系统的循环特性)。5.2.8 守恒性 n在一个Petri网系统中,令牌被用来描述系统资源,对这类Petri网,守恒性是一个重要性质,要使代表资源的令牌在Petri网运行中既不会增加也不会减少,最简单的方法就是网中总令牌数保持恒定.Petri网性能分析：n覆盖树（Coverability tree）可达图n不变量（Invariation） 1、标识向量m 初始标识m0=(1 1 0 0 0)T 标识m1=(0 0 1 0 0
13、) T m2=(0 0 0 1 1) T覆盖的数学定义：kkktokenmmmm),(m)(mp121212；都有：对于任意正数（令牌，托肯）概念。，表示无穷大的再引入一个特别符号。表示为覆盖则标识：若ppP1、m0作为作为“树根树根”（可作上（可作上new记号）记号）2、对有、对有new记号的标识记号的标识m做以下事情，否则终止；做以下事情，否则终止；3、选择某一、选择某一“new”标识标识m；（1）若）若m与树中间已有的其他标识与树中间已有的其他标识m相同，则将其记相同，则将其记为为“old”，转向其他，转向其他“new”标识；标识；（2）若在）若在m下无变迁使能，则将下无变迁使能，则将m
14、记为记为“dead end”；4、对于、对于m下有使能的所有变迁下有使能的所有变迁t，做以下事情：，做以下事情：（1）激发）激发t，产生标识，产生标识m；（2）若从树根至）若从树根至m的路径上存在一标识的路径上存在一标识m,使得使得m覆覆盖盖m，但，但m 不等于不等于m（mm）,则对于那些使则对于那些使m(p)m(p)成立的成立的p：用：用取代取代m(p);（3）以）以m为一节点，从为一节点，从m到到m画一有向线，将其记为画一有向线，将其记为t，并将，并将m记为记为“new”5、除去、除去m的的“new”标志，回到步骤标志，回到步骤2举例：建立覆盖树基本性能分析建模工具与仿真工具的区别n建模：
15、结构健壮性 逻辑合理性编程流程图结构材料剪应力、拉伸力校核Petri net，活动周期法等n仿真：系统重现 效果优化JAVA ,C#,C+UG，CAD动态效果Arena，flexsim等作业：写出下面作业流程Petri网的覆盖树，并评价该流程性能如何。（参照前例）Petri网类型n基本Petri网：每个库所容量为1，这样库所可称为条件，变迁可称为事件。故又称为条件/事件系统 C/En低级Petri网：库所容量和权重为=1的任意整数，称为库所/变迁网。简作P/T网n定时Petri网：将各事件的持续时长标在库所旁边，库所中新产生的标记经过一须时间后才加入到网中，或是标在变迁上，经过时间延迟后发生。n高级Petri网：谓词/事件网、染色网、随机网等 Petri网（Petri net）作业：撰写一篇本课程论文要求：（1）11周上交，A4纸论文打印稿和电子稿。（2）论文方向：生产、制造领域，或商业服务领域是如何应用仿真建模等技术的。（要有自己的观点）（3）题目自拟。论文页数不少于5页。（4）可以上网查阅资料、文献、书籍，但不许抄袭，如果发现抄袭平时成绩0分。论文格式 必须包括： 题目（宋体，小二，加粗） 姓名、学号（宋体，小四） 摘要（宋体，小四） 引言（宋体，小四） 正文（宋体，小四） 结论（宋体，小四） 参考文献（宋体，小五） （不少于5篇，中英文皆可）