Petri网基本概念及介绍.ppt

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使能，责成该变迁是活的（Li