基于Petri网的建模技术APPT文件格式下载.ppt
- 文档编号:14647358
- 上传时间:2022-10-23
- 格式:PPT
- 页数:52
- 大小:741KB
基于Petri网的建模技术APPT文件格式下载.ppt
《基于Petri网的建模技术APPT文件格式下载.ppt》由会员分享,可在线阅读,更多相关《基于Petri网的建模技术APPT文件格式下载.ppt(52页珍藏版)》请在冰豆网上搜索。
由于事件是动作,所以它可以发生。
为了使事件发生,必须使某些条件成立,这种条件称为事件的前条件;
后条件:
事件的发生可能破坏前条件而使另外的条件成立,这种条件称为事件的后条件。
4,5,因此状态(一组条件)和转移(事件)是Petrinets的最基本单元。
基本Petri网包含库所(状态)、转移、以及它们的关系。
高阶Petrinets是对Petrinets的扩展:
颜色(forthemodellingofattributes)时间(forperformanceanalysis)层次(forthestructuringofmodels,DFDs),5,6,Petri网的特点,从控制和管理的角度模拟系统,不涉及系统所依赖的物理化学原理,这样可以简化某些细节,易于理解。
精确描述系统中事件的依赖关系和不依赖关系,这是事件之间存在的、不依赖于观察的关系。
具有统一的语言描述系统结构和行为,方便建模仿真,从而起到沟通不同子系统间桥梁的作用。
与顺序模型不同,Petri网系统比其他图形建模工具更适于描述并发和冲突。
6,7,冲突,并发,7,8,Petrinet主要用途:
系统性能分析:
如制造系统设备使用率、生产率、可靠性等。
系统控制:
直接从可视化模型中产生DEDS监控编码,进行系统实施控制。
系统仿真:
系统分析与评估的系统仿真。
数字分析:
可通过结构变化描述系统的变化,支持DEDS形式的数学描述与分析;
还可以转化为其它的DEDS模型,如马可夫链等。
8,9,利用Petri网建模具有以下优点。
(1)Petri网建立在严格的数学基础上,精确描述系统中事件的依赖关系和不依赖关系,这是事件之间存在的、不依赖于观察的关系,已有了许多成熟的分析方法和工具。
(2)兼顾了严格语义与图形表示两方面,具有统一的语言描述系统结构和行为,方便建模仿真,从而起到沟通不同子系统间桥梁的作用;
(3)Petri网是一种基于状态的建模方法,与基于事件的过程建模方法不同,Petri网系统比其他图形建模工具更适于确定触发方式、描述同步并发系统,并具有更多的柔性。
从建模角度可视化图形描述却被形式化数学方法支持;
9,10,Petri网建模的缺点:
Petri网的优点实际上是在模型构成上增加了模型的组成元素,因此往往导致组成模型的元素数量过多;
Petri网不如基于活动网络容易理解;
Petri网的建模中不能在网中体现数据流,尽管基于状态建模的Petri网能够精确、方便地对过程的控制逻辑进行定义,在这种情况下,数据流就与控制流完全混合,当两者不一样的时候,Petri网就无法显式地表示这种独立于控制流之外的控制流;
10,11,agenda,1PetriNet概述2.经典PetriNet3.高阶Petri网4.一个Petri网建模实例5.小结,11,12,2经典PetriNet,经典的Petri网是一个由库所places()和转移transitions()构成的网络,连接具有方向,并在库所和转换之间。
托肯Token是动态对象。
Petri网的状态由分布在库所中的托肯决定,12,13,Petri网的组成元素,Petri网简称PNG(PetriNetGraph),它有库所和转移两种结点库所(Place)小圆圈P转移(Transition)小方块T连接(Connection)是库所和转移之间的有向边,流关系F,K托肯(Token)是库所中的动态对象,可以从一个库所移动到另一个库所,13,14,Petri网的规则,连接是有方向的,其上可以标出权重两个库所或转移之间不允许有边,且不应该有孤立节点库所可以拥有任意数量的托肯,14,15,顺序流程,迭代(循环)流程,并发流程,选择流程,15,16,转移t1具有三个输入库所(p1,p2andp3)和两个输出库所(p3andp4).库所p3既是t1的输入库所又是它的输出库所.,p1,p2,p3,p4,t1,输入库所/输出库所,16,17,转移是主动元素,而库所和托肯是被动元素如果输入库所都包含了托肯,那么转移就被激活,Transitiont1isnotenabled,transitiont2isenabled.,使能条件,17,18,激活的转移可以被点火点火将消耗输入库所的托肯,并为输出库所产生托肯,Firingisatomic.,点火,18,19,托肯迁移的例子,19,20,两个转移竞争同一个托肯:
冲突即使有两个托肯,依然存在冲突,t1,t2,不确定性,20,21,库所代表缓存,渠道,地理位置,条件或者状态转移代表时间,传输或者转换托肯表示对象(humans,goods,machines),信息或者对象的状态过程的状态用位于库所的托肯来表示,状态之间的变换用转移来表示,基于PetriNet的流程建模,21,22,形式化表达,一般Petri网定义为五元组=(P,T,F,K,M0)其中,P为位置的集合,用圆圈代表,表示系统的状态;
T为转移的集合,用空心矩形代表,表示系统中的事件;
F称为P-T的流关系,其规定资源的输出流;
K称为T-P的流关系,其规定资源的输入流;
M0称为Petri网的初始标识。
Token表示工作对象,转移是网络中的控制点。
Petri网进行算法扩展,可以使它具有处理模型求解系统运行的能力。
22,23,例子:
交通灯,23,24,两个交通灯,24,25,rg1,red1,yellow1,green1,yr1,gy1,rg2,red2,yellow2,green2,yr2,gy2,safe,两个安全的交通灯,25,26,单身汉,孩童,已婚,青春期,结婚,离婚,死亡,已故,人的一生,26,27,Ballgame,拿到2黑或2红放回1黑;
拿到黑红各1放回1红;
black,red,bb,rr,br,每次拿两个球但放回一个球:
27,28,当前状态库所中托肯的分布情况.可达状态通过一系列激活的转移的点火,从当前状态可以达到的状态.死状态(deadstate)没有转移能够激活的状态,某些定义,28,29,拿到2黑或2红放回1黑;
7可达状态,1死状态.,29,30,多少可达状态?
是否有死状态?
dead,sleeping,active,start,stop,die,练习:
你的一生,30,31,练习,交通灯的可达图,rg1,red1,yellow1,green1,yr1,gy1,rg2,red2,yellow2,green2,yr2,gy2,safe,31,32,rg1,red1,yellow1,green1,yr1,gy1,rg2,red2,yellow2,green2,yr2,gy2,safe2,safe1,安全而公平的交通灯,32,33,画出可达图多少个可达状态?
有无死状态?
两个作者和三个读者的情况是怎样的?
rest,mail_box,receive_mail,type_mail,ready,rest,begin,send_mail,read_mail,课后练习,33,34,agenda,1PetriNet概述2.经典PetriNet3.高阶Petri网4.一个Petri网建模实例5.小结,34,35,在实际中经典的Petri网并不是非常有用:
Petri网变得规模太大,太复杂.建模可能要花太多的时间.不能处理时间和数据信息.因此我们需要使用高阶Petri网,也就是说采用以下方式来扩展Petri网:
颜色属性描述时间性能分析层次结构分解,3高阶Petri网,35,36,理发厅的例子,start,waiting,finish,busy,free,ready,clientwaiting,hairdresserreadytobegin,注意:
如何简化了对多个理发师的建模,例子,36,37,某一托肯经常代表了具有某种属性的对象因此,每一托肯具有值(颜色)以表示由托肯建模的对象的特定属性,采用颜色进行扩展,37,38,每一个转移可以有正式的(非正式的)描述:
产生的托肯数目这些托肯的值和(可选)的一个前提条件复杂性被分解到网络和托肯的值上这种处理产生了紧凑、可管理和自然的过程描述。
例子:
汽车装配过程,38,39,为了进行性能分析,需要对持续时间,延迟等的时间概念进行建模因此,每一个托肯都有一个时间戳,而转移确定了产生一个托肯的延迟,时间的扩展,39,40,包含时间属性的交通灯,40,41,对复杂的Petri网添加结构信息的方法,与DFD类似一个子网是对库所,转移和子网的扩展,层次的扩展,41,42,waiting,ready,h1,h2,h3,begin,end,pending,begin,end,pending,练习:
把层次去掉,42,43,agenda,1PetriNet概述2.经典PetriNet3.高阶Petri网4.一个Petri网建模实例5.小结,43,44,4一个Petri网建模实例,Petri网建立步骤:
根据状态与事件的定义,确定系统的状态集和事件集。
确定系统中状态与事件的关系。
将库所和转移对应起来,建立Petri网模型图。
根据系统情况,决定Petri网模型图的初始状态,确定初始状态的下个状态的Token数。
基于初始状态判断那些事件可被激发,当模型激活后,模型状态图将发生变化,又引起一些事件被触发。
44,45,Asimpleexample,电子商务的交易流程可用语言描述为:
客户通过浏览信息向商家提交订单意向,商家接到提交的订单意向后,通过查看库存信息形成可供订单;
对可供订单确认后,客户输入用于电子支付的信用卡号和密码;
得到银行的支付确认后,商家将可供订单转为有效订单,同时产生库存信息变更;
商家按有效订单配送货物,并修改库存信息。
接着商家进行下次交易的处理。
45,46,Petri网建立的模型,这个系统的状态(库所)可概括为:
P1:
客户;
P2:
可供订单;
P3:
有效订单和库存信息;
P4:
商家事件(转移)可概括为:
T1:
支付确认;
T2:
查看库存;
T3:
配送货物。
46,47,不妨认为这个场景有2个Token,通过这两个Token流转完成流程运作:
(商品)库存(客户)订单,P1,P2,T1,T2,P4,P3,T3,47,48,Token(商品)库存的流动过程;
P4P2P1P3P4事件:
T2,T1,T3,P1,P2,T1,T2,P4,P3,T3,48,49,Token(客户)订单的流动过程;
P1P3P4事件:
T1,T3,P1,P2,T1,T2,P4,P3,T3,49,50,agenda,1PetriNet概述2.经典PetriNet3.高阶Petri网4.一个Petri网建模实例5.小结,50,51,例,描述:
1参考下面的参考流程(要求库所不少于8,转移9,要求有并发及选择流程)。
在公司接到客户投诉时,对事件内容进行登记,然
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 基于 Petri 建模 技术