基于一阶混和Petri网的混合系统结构分析

文中提出一种分析混和系统结构的新方法,称为一阶混和Petri网.对一阶混和Petri网进行了定义,并描述了其使能和点火规则;运用位置不变量和变迁不变量对一阶混和Petri网的结构进行分析,并通过求解混和状态方程来获得位置不变集和变迁不变集;最后用一个例子来阐明如何运用不变量来进行结构分析.     

基于Petri网并分解技术的电网故障诊断

阻碍Petri网技术在实践应用中发展的重要问题是"状态爆炸",并分解技术是解决"状态爆炸"的一种有效措施,但如何分解仍是一个非常困难的问题.文中分析了电网故障诊断Petri网的特点,提出了一种无环、多输出库所Petri网的分解方法,并将它应用于电网故障诊断,同时提出了基于并分解Petri网故障诊断算法.对湖南某地方10 kV配电间进行仿真试验,验证了该方法的有效、可行和准确.     

基于Petri网的机车故障诊断方法研究

本文主要研究了Petri网在故障诊断中的应用。由千Petri网对系统的动态行为建模能力强,针对机车故障的基本特性,分析了Petri网在故障诊断中的应用,结合故障树模型的特点,提出了一种适合故障特性的故障Petrj网模型。与其他Petri网模型相比,该模型能够很好地描述故障的演变和传播特点,解决故障的各种传播模式问题。提出了故障Petri网的诊断算法,该算法具有并行推理能力,同时可以得到推理后系统的全部状态值,也可以方便快速地找出故障的传播路径。     

基于Petri网基础标识的分散式故障诊断方法研究

电子信息技术的飞速发展催生了很多包含众多组件的复杂系统,故障诊断技术致力于及时、准确地检测这些系统中的故障,从而为快速恢复系统功能提供重要支撑。基于Petri网数学模型提出分散式的故障诊断方法,分别针对分散式架构中的诊断站点和协调者设计故障诊断算法,并提出相应的诊断协议。站点诊断算法基于Petri网基础标识和基础向量构建,避免穷举所有与观测序列一致的变迁序列,有效提高诊断效率。提出的分散式诊断方法比传统的集中式方法具有更高的计算效率和更好的稳定性。相对于其他已存在的分散式方法,该方法具有更小的Petri网结构假设限制和更广的适用范围。     

基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂。传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计,需要寻求新的程序设计方法来满足复杂的控制要求。介绍了基于Petri网的PLC程序设计。     

电动机故障诊断的Petri网方法

Petri网是异步并发诊断系统建模与分析的一种重要工具,它可以利用图形语言对故障诊断系统的结构、功能及流程进行系统的分析和描述,在故障诊断领域得到了越来越广泛的应用。论述了Petri网的矩阵描述方法以及Petri网建模的一般方法。根据文中给出的电动机常见故障及其征兆表提出了一种电动机故障诊断Petri网模型,该模型只需经过简单的矩阵运算即可实现电动机故障的快速离线诊断。与传统的电动机故障诊断人工智能方法相比,具有简单直观,诊断速度快,准确度高的优点。并用搜集到的实例进行了验证,表明该诊断方法是迅速、准确的     

电动机故障诊断的Petri网方法

Petri网是异步并发诊断系统建模与分析的一种重要工具,它可以利用图形语言对故障诊断系统的结构、功能及流程进行系统的分析和描述,在故障诊断领域得到了越来越广泛的应用.论述了Petri网的矩阵描述方法以及Petri网建模的一般方法.根据文中给出的电动机常见故障及其征兆表提出了一种电动机故障诊断Petri网模型,该模型只需经过简单的矩阵运算即可实现电动机故障的快速离线诊断.与传统的电动机故障诊断人工智能方法相比,具有简单直观,诊断速度快,准确度高的优点.并用搜集到的实例进行了验证,表明该诊断方法是迅速、准确的.     

基于Petri网技术的电力系统故障诊断

2003年8月14日美加大停电事故为我国电力安全工作今后研究方向带来了启示。利用Petri网技术对电力系统故障进行快速建模,并在计算机辅助故障诊断方面进行研究运算,可及时得出故障范围。为此,介绍了利用Petri网进行电力系统故障仿真,包括了模型的建立、故障假设与诊断和对不确定信号的诊断与排除,并给出了仿真算例。这有助于调度人员快速、准确地判断事故,防止电网事故扩大。     

高级Petri网在工业控制中的应用

Ｐｅｔｒｉ网已有３０年的历史，特别是在近１０年中越来越广范地被应用．由于几种有效的Ｐｅｔｒｉ网计算机分析工具的出现，使Ｐｅｔｒｉ网已成为工业系统调度和分析的成熟工具。本文描述的是一种高级Ｐｅｔｒｉ网模型，它是对普通Ｐｅｔｒｉ网的扩展。这种方法已应用于几种系统的建模与分析。     

基于Petri网的电力系统故障诊断综述

为了研究基于Petri网的电网故障诊断方法,提高电力系统安全稳定性,综述Petri网原理及Petri故障诊断模型在电网故障诊断中的应用.首先,介绍Petri网基本概念、分类及优缺点;然后,分别针对发电机组故障、输电线路故障、变压器故障、配电网故障、电力系统故障,介绍国内外关于Petri网及改进Petri网在不同类型故障...     

Fault Section Estimation of Power System Using Colored and Timed Petri Nets

A correct and rapid inference is required for practical use of expert system for fault section estimation in power systems. This paper proposes a new model-based expert system for fault section estimation using colored and timed Petri nets. The Petri nets simplify the inference procedure greatly because it can represent the causalities among faults of power system components, protective actions of relays and circuit breakers. They can also represent the operating states of these protective devices explicitly, or, more precisely, whether a relay has been actuated correctly or falsely, etc. In addition, time sequence information on actuated relays and tripped circuit breakers can be handled by using the colored and timed Petri nets. Therefore, the operating states of relays and circuit breakers can be inferred more correctly. Petri nets are suited for parallel processing so well that there is a possibility of reducing the inference time considerably. In the proposed system, the inference is executed by setting the initial states in the Petri nets using the information on the actuated relays and the tripped circuit breakers and then operating the Petri nets. There have been several test cases which used a prototype system on the Macintosh computer employing Object Common Lisp, and good results have been obtained.     

汽轮发电机组振动故障诊断的Petri网模型

Petir网理论是以网络理论、代数理论等为数学基础的,可利用图形语言对故障诊断系统的结构、功能及流程进行系统的分析和描述,是异步并发诊断系统建模与分析的重要工具之一.作者在论述了Petri网矩阵描述方法的基础上,根据汽轮发电机组故障征兆与常见故障类型之间的关系,建立了一种基于Petri网的汽轮发电机组振动故障诊断模型.与传统的汽轮发电机组振动故障诊断方法相比,该模型仅使用简单的矩阵运算,诊断过程简单直观,速度快.实例分析表明,利用该模型可对汽轮发电机组的振动故障作出正确判断.     

一种基于Petri网模型的配电网故障恢复算法

Petal网是一种对离散事件动态系统进行建模和分析的强有力工具,被广泛应用于各种工业领域。鉴于配电网故障的发生和恢复过程具备异步、并发等动态特征,将Petri网方法应用到配电网故障恢复问题中。提出了基于Petri网的建模方法,将配电网的故障恢复过程抽象为Petri网中的变迁序列,设计了一种基于最优目标状态的故障恢复算法。该方法中提出的Petri网模型结构更为简洁,同时最大限度的保留配电网系统的拓扑结构,便于理解;解决了其中最大的一个优化问题,并与现有算法进行比较,证明了本故障恢复算法的全局最优性和有效性。     

一种混和Petri网结构分析方法

混和Petri网可很好地描述由连续动态和离散动态相互混和、相互作用而形成的混和系统.其特点是,将位置和变迁区分为连续和离散两种类型,以表征连续变量过程和离散事件过程.Petri网是离散系统建模和分析的一种有效的图形和数学工具.在文中,基于图论提出一种分析Petri网结构特性的方法,然后介绍转换矩阵和Petri网的对应关系.其次,应用转换矩阵的特征多项式和方程分析Petri网的结构特性;最后,应用例子来说明该方法的应用.     

Using Petri nets to verify acyclic rule-based system

A series of Petri net-based definitions were formulated for describing four types of structural errors in a rule-based system (RBS), including inconsistency, incompleteness, redundancy and circularity. A marked ω-Petri net model of acyclic RBS was constructed. Then, its reachability tree was generated to record all reachable relations between propositions in RBS. Moreover, a backward reasoning forest of a reachable marking was generated for explicitly representing reachable paths in RBS. Finally, a set of theorems and algorithms were provided to analyze and check structural errors. The usability of the research results presented in this paper was illustrated by an example. __________ Translated from Journal of Tongji University (Natural Science), 2007, 35(2): 232–238 [译自: 同济大学学报(自然科学版)]     

An algorithm for the minimum initial marking problem of a structurally live Petri net with inhibitor arcs

Inhibitor arcs increase the expressive power of Petri nets. However, they also make Petri net analysis more complex. Some properties of an ordinary Petri net are not always inherited in its extended version with inhibitor arcs. This paper reports a necessary and sufficient condition for deciding the structurally live property in an original Petri net and its extended one with inhibitor arcs. In addition, supposing that a net is structurally live, a natural problem is how to distribute the minimal number of tokens into the structurally live net to ensure that the marked net is live. A method is developed to find an optimal token allocation solution by putting tokens only in some key places. The algorithm can be completed within polynomial time, which overcomes the drawback of exhaustive solutions from all possible markings. Examples are given to illustrate the proposed approach. © 2016 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.     

粗糙集结合Petri网进行分区域并行推理的配电网故障诊断方法研究

针对配电网规模庞大且发生故障后警报信息存在不确定性和不完整性的问题,提出了一种粗糙集结合Petri网进行分区域并行推理的配电网故障诊断方法。该方法先将配电网划分为多个独立的区域,对于各个区域分别建立故障决策表,再利用粗糙集对决策表进行属性优选和诊断规则提取,最后构建Petri网模型,通过Petri网的并行推理实现故障诊断。诊断实例证明了该方法不仅诊断快速准确,而且容错能力强、适应性好、灵活性高。     

基于分层模糊Petri网的电网故障综合诊断方法

为降低Petri网的规模,提高诊断的准确性和适应性,研究了一种用于电网故障综合诊断的分层、多子网模糊Petri网模型。考虑了主保护、近后备保护及远后备保护的不同作用,对各保护子网中变迁到终止库所的输出弧赋予不同的权值,修正了变迁的输出概率高斯求取函数。提出先建元件的各保护子网与线路单侧诊断子网、再建综合诊断子网的分层建模方法。该方法可根据电网拓扑变化对模型进行一定的自适应调整。给出了基于矩阵运算的推理过程。针对一个典型电网做了多组案例测试,实验结果验证了该模糊Petri网的有效性,在信息不完备情况下仍能给出正确的诊断结果。