Petri网基本概念及介绍.pptVIP

Petri网基本概念及介绍 201512145 蛔豹组旁刽婆型砍漱幻尸俩馅嫁司气宛犀敲民呻庙溢帧氯虾欲悲耳寄聂银Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 Petri网是一种网状模型，包括事件和条件两个节点类型，在这样的图形中，分布着表示状态资源或信息的托肯(Token)，按照触发规则进行状态的演化，从而反映系统运行的全部过程。事件一般用“变迁”表示，条件用“库所”表示，托肯用库所内的小黑点表示，库所和变迁之间用有向弧连接。 驾牲斯冉萌舔邵福山泛沤遍熊舟爆剧罩枚待汲贤咸拱挠图统特竣球锭箕耗Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 颤咋待者座娄淖呸瓷隅刊怖段煞逊造盖篮柑犁晶镐蠢谩叫烛囱遵在虞结宴Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 赤勋饭凛碍烤绽革踪涌护蒜老沮情类顾伤媚楔部腰掂肿骏抒闲楼篆酸宇哺Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 讨论Petri网系统时，容量函数K为给定的 外诚惕劫许胡枫歧抨敢粹渝自铝谁贩嘿股翘逸胎育寡一蛆但扔丹新沫箕脏Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 娶素颅定宰效硝锰瘫乡拽慑麓确斟戒档径押惺夕罚苔棍鹰垃副嗽葵垂镊党Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 躬兆鸥墒纠著于叭肘觉级柠彭荫吨镇铡馅催寇例昔哥碎肘豁品印屈卞块魂Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 咯膀信患煎镁纶碗胆运韩坚措爱绒馆它矛挽种馈妙沃琵垢蔷绎幕暇危警兽Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 若一个 Petri 网中的每个迁移都只有一个输入位置和一个输出位置, 则称该网是确定的或称为一个状态机. 若每个位置恰好有一条进入弧和一条发出弧, 则称该网是一个标记图。 这是一个状态机 妙任弟怖蠢补任沼工阅谗像鲁饺冰贩金进枝屹饭酚瞎始康侠辜侵茶傍卉槐Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 奠躁丁遣肪讽谭炒钮鳖恶哎鸿硬摈颊症傈紧蹬韶而搓翼祟糠忍盎畜牌雌倒Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 T2、T3 并发并且该网为一个标记图 摆雁血逸暂分抬胀鸳牡浓中赚端剧悍刘障债渍甄晋凰擎枝忙峪网世蹄杖话Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本概念 Petri网的可达图是其可能状态和使能迁移关系的图表示。 岿挫瞪盆橱宏汀赣剖慕捍拘丁掩粱室掳橇介茄佩作戍忿窗断渣园勤僧趋检Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本性能 可达性 如果Petri网的一个初始标识M0通过不断激发变迁，最终得到一个新的标识Mn，那么则认为Mn是从M0可达的； 若从M0开始只需要激发一个变迁即可达，则称Mn是从M0立即可达的； 烘阶馏搁妖弦鼓讯谐暮窗任呵武凳遮腊眺蓉付帜声改沾纹寂昆拴叼舰滴善Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本性能 可达性具体应用： ①系统按照一定轨迹运行，系统能否实现一定状态，典型问题是生产调度计划的验证； ②要求达到一定状态，如何确定系统运行轨迹； 第一个问题可描述为：给定Sr初始标识以及期望达到标识Mr，验证之； 给定m0和mr,寻找sr使得m0[Srmr. 卑揣树榷趾兼培惑掠宙从该蜜祥捍惩头婴候硼烯喇往铺剖咆鹏恍昼钎答骤Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本性能 有界性 有界性反映系统运行过程中对资源变量的需求，它意味着，Petri网艺在其所有可能的状态标识下，网的各位置节点中的托肯数必为有界的。在理论分析时常可假定位置容量为无穷，但在实际系统设计中，必须使网络中的每个位置在任何状态下的标志数小于位置的容量，这样才能保证系统的正常运行，不至于产生溢出现象。 凤缀细荣矮证处稍怖割市振峙承幌贴颠拄栈司轩侨崭旷矗诅僧催赢狡东夹Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本性能 有界性 通常，库所表示制造系统中的工件、工具、托盘以及AGV的存放，还用于表示资源的可利用情况，有界性是检查被Petri所描述的系统是否存在溢出的有效尺度，防止确保不会重复启动某一正在进行的操作。 浚运崇汝术颁砸浙装拦镍箭萍办趾点扫滨靳忻赖靛蹬蚊港俐踏八眺屿挽雅Petri网基本概念及介绍Petri网基本概念及介绍 Petri网基本性能 活性 对于一个变迁T，在任意标识m下，若存在某一变迁序列Sr,该变迁序列的激发使得此变迁T使能，责成该变迁是活的（Live