模糊Petri网的约简技术.pdfVIP

第30卷第4期 杭州电子科技大学学报 、，d．30。No．4 2010年∞月 如岍d《H明咖DiaralUtaven蛹, ^I唱．2010 模糊Petri网的约简技术 李承家，李妮 (杭州电子科技大学理学院，浙江杭州310018) 摘要：该文作为Petri网系统的推广，模糊Petri网可以更有效地处理带有模糊信息的库所和变迁。 首先通过库所变迁串联、变迁并联及库所并联筹模式下的简化规则，约简模糊Petrl网系统而不改 变其动态行为。接着，给出按上述规则简化一个模糊Petri网故障诊断算例。 关键词：佩特里网；模糊佩特里网；模糊发生规则；约简技术 中图分类号：TP393 文献标识码：A 文章编号：1001—9146(2010)04—0030—04 0引言 Petri网是一种图形和数学建模工具，是描述和研究具有同步、异步、并发、并行等特点的系统的有力 工具，被广泛地应用在离散事件系统、人工智能系统和专家系统等系统的建模和分析中。然而，物质世 界并不是所有的事情都是确定的，Petri网无法描述“低”、“冷”等模糊的、不确定的信息。自从Zisman把 应用领域，能更有效地应用于逻辑系统知识的表达与推理…1和故障诊断【2J中。为了更好地对实际应用 较复杂的模糊Petri网系统，要分析其理论性质及动态运行规则都是比较困难的，为了更好地对模糊 Petri网系统进行研究，本文提出模糊Petri网的约简技术，该约简技术的关键是不仅能保持原网系统I的 各种性质都不发生改变，且使得网系统直观上比较简单而且便于分析。 1模糊Petri网 模糊Petri网被广泛地应用于基于规则系统的知识表达和推理以及机械系统的故障诊断中，由于实 际应用的需要，许多文献中都有过不同的定义，这将给出模糊Petri网的定义及其动态运行规则【3J。 1．1模糊Petri网的定义 表示库所与变迁之间或变迁与库所之间的流关系；(3)D：7I’叶(O，1]表示变迁t对各个前提条件的支持度 称终结库所。而且起始库所中的标识不是通过推理得到的，而是根据实际需要由专家系统给出的。 1．2模糊Petri网的动态运行规则 (2)变迁t的发生可以产生新的标识M’，记为M[tM’： 收稿日期：加10—03—3l 基金项目t国家自然科学基金资助项目(回厂72066) 作者简介：李承家(1967一)，男，陕西西安人，教授，Petri网理论及其应用． 第4期 李承家等：模糊Petri网的约简技术 31 f 0， ifP∈。t p∈‘t (1) M’(P)={F(坚鱼-尘旦Q墨羔{；盖掣w(t，p))if L M(p)， others 式帕㈤=雠茎一 对于较复杂的模糊Pctri网系统，要分析其理论性质和动态运行规则都是比较困难的，故本文提出 模糊Petri网的约简技术，该技术不仅可以保持原网系统的各种性质都不发生改变，且使得网系统直观 上比较简单便于分析。本文提出的约简方法主要有以下4种基本类型：以下各图给出的模糊Petri网 中，已标出token库所的初始标识均为口，其余库所的初始标识均为0，流关系上的权重函数W的值域、变 迁的阈值函数D(t)的值域均为(O，1]，且a∈(0，1]。以下讨论不妨假设F(口)=a。 类型1库所一变迁串联型，如图1(a)所示：图l(a)左中，tl，t2发生后Petri网的标识分别为： fM·(p)=制埘(tt，p) ，，，、 IM2(P2)=竺丝与叟测tt，(p，t2)埘(t2，p：) 。。7 rw(