基于冗余嵌入Petri网的电网故障诊断方法

针对现有电网故障诊断方法存在的容错性和适应性不够理想的问题,以电气量信息和保护动作信息为依据,基于冗余嵌入Petri网和范德蒙矩阵构建电网的Petri网故障诊断方法,根据变迁的发生及库所中托肯的转移,确定故障位置.通过算例分析验证所提方法的有效性和合理性,结果表明该方法简化了诊断过程,提高了准确性,并能灵活适应电网拓扑结构的变化.     

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不稳定性和模糊性的特点，给出了Petri网的定义和故障诊断的模糊Petri网模型，并以实际故障诊断为例，说明了该模型具有直观，表达能力强和易于推理的优点。     

电子电路故障诊断的模糊Petri网模型

提出了一种适用于电子电路故障诊断系统的模糊Petri网模型,用模糊Petri网表示故障诊断的模糊知识与推理机.     

基于Petri网的故障诊断新方法

在分析故障诊断问题特点的基础上，提出一种不增加Petri网元组的故障诊断新模型，对故障传播的分析更加方便，并通过实例验证了方法的有效性。     

基于模糊 Petri 网的发动机故障诊断

基于模糊 Petri 网的基本原理,提出了简明有效的推理算法,并以发动机为例说明了 Petri 网在故障诊断中的应用.     

Petri网理论在变电站故障诊断中的应用

为提高变电站故障诊断的效率,本文以Petri网络模型中的库所表示变压器、开关、继电器等电力设备,以Petri网络模型中的变迁表示开关、继电保护等的动作情况,对应实际生产中的具体设备,整个诊断过程通过矩阵运算实现.使得诊断结果更有针对性,实际运算速度更快,诊断正确率有所提高,从而对故障信号具有更强的识别能力.     

Petri网逆网在主轴故障诊断中的应用

为了能够快速寻找主轴故障原因,采用 Petri 网逆网对数控机床主轴进行故障诊断。建立 petri 网逆网模型构建数控机床主轴关联故障可达图,深入系统分析主轴故障的各个子系统、故障模式和故障根本原因,并对故障模式和故障原因进行关联性分析;分析状态转移可达集,掌握主轴关联故障的传递过程,寻找导致主轴故障的根本原因;并以数控机床主轴噪声大为例描述数控机床主轴 Petri 网逆网故障诊断过程。主轴关联故障的 Petri 网逆网研究,有助于迅速进行主轴故障诊断与维修,缩短修复时间,进一步提高主轴的可用度。     

基于改进时间模糊Petri网配电网故障诊断方法

配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区域;然后根据动作的断路器能够保护的范围确定可疑故障元件,利用带时标的保护断路器信息,针对可疑故障元件建立时间模糊Petri网模型进行故障诊断.模拟测试表明,此方法提高了配电网故障诊断速度和准确度,具有良好的实用价值.     

Petri网理论在电力系统输电网络故障诊断中的应用

提出了1种利用Petri网对电力系统输电网络进行故障诊断的方法.即先找出电力系统输电网络故障区域,再利用Petri网对此故障区域电网元件建模,并在计算机辅助下快速查找诊断故障点.     

加权模糊Petri网在故障诊断中的应用

提出了一种对复杂装备进行故障诊断的加权模糊Petri网模型,并对于装备故障传播的逻辑关系进行了描述。然后,根据实际的故障诊断中的不确定推理问题,给出了一种新的加权模糊推理算法,以更加符合工程实际。为提高诊断时的并行推理能力,给出了诊断推理的形式化算法。用实际的诊断案例说明了该方法的有效性。     

混合Petri Net在制造系统建模与仿真中的应用

针对大批量制造系统,建立了一种有效的建模仿真工具——混合Petrinet(PN),并对其进行了数学描述。在混合PN中,连续节点被用来表示大容量库所和短时变迁,解决了传统的离散PN在仿真过程中存在的可达状态爆炸和仿真时间过长的问题。对离散PN和混合PN在事件数量和仿真时间方面进行了比较;运用混合PN对某汽车冲压加工单元进行了建模和仿真,并对其输出缓冲区的容量进行了优化设计,明显提高了设计和分析的效率。     

一种有界Petri网的可诊断性验证方法

离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断...     

模糊Petri网的活性分析

在基本Petri网理论基础上,基于模糊推理,对无环模糊Petri网的活性进行了讨论．给出了其关于活性的分级定义以及一种有效的活性判定方法,并对该方法的正确性进行了证明,最后通过一个算例验证了该活性判定方法的有效性.     

基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.     

基于Petri网的分布式网络单元流量优化

建立了基于Petri网的分布式网络基本模型DNMPN,实现了分布式计算机网络的基本功能,并在此基础上提出了流量优化的Petri网分布式网络模型DNMPNTO,改进了基本模型的重复转发问题。DNMPNTO具有很好的可扩展性,有效地优化了网络单元的流量,提高了网络系统的效率,适用于建立大中型分布式网络系统。     

高级 Petri网并行化预处理方法的研究

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网（ Place/Transition Net）的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。     

基于LabVIEW的Petri网控制器实现

为使Petri网更易应用于测控系统,提出一种基于图形化编程工具LabVIEW、组件化的时延C/E Petri网系统实现方法.在LabVIEW中,用布尔控件表示Petri网的库所(布尔控件值为TRUE表示库所中有token),用子VI控件表示Petri网的变迁.变迁被触发时,变迁VI控件通过布尔控件的控件引用修改库所的值...     

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

一种基于Petri网的可扩展的CIM信息系统建模方法

在对现有CIM信息系统建模方法局限性分析的基础上,提出了一种基于逐步求精的时间有色Petri网--分层时间有色Petri网(HTCPN),并给出CIM信息系统的设计框架及其HTCPN表示.介绍了利用HTCPN进行系统分析的方法.使用HTCPN可以很好地描述和分析系统的动态属性,由于引入了分层的概念,将复杂系统的设计和分析简化为简单子网系统的设计和分析,从而提高了系统设计的可扩展性和效率.