Petri网的一种硬件实现方法

Petri网是一种信息流模型,广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现,为Petri网的硬件实现提供了可能．从Petri网的原理出发,根据库所与变迁的本质特点,提出了一种Petri网硬件实现的框架,并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计,以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

随机Petri网对可修复系统的建模和分析

为分析工程中较大的可修复系统的工作状态、可靠性和修理工的工作强度，提出了一类由不同机器和具有混合技能的不同维修人员所组成的可修复系统，引进了状态转移是Markov过程的随机Petri网，对系统进行建模，通过实例分析系统的状态空间、各状态在稳态下的期望频率、期望持续时间、系统的可靠性和维修人员的工作强度，分析了随机C／E网和随机P／T的适用范围．与传统的状态空间法相比较，在确定可修复系统的状态空间、分析状态间的逻辑关系和系统的动态过程中，随机Petri网具有显著的有效性和优越性．     

一种基于模糊Petri网的操瞄系统故障诊断方法

针对操瞄系统故障诊断建模中动态行为较难描述的问题,利用模糊Petri网的方法对系统中的故障传播进行建模.引入模糊产生式规则进行知识表示,研究了模糊Petri网的故障诊断建模方法及其推理算法.利用该方法对某牵引火炮的操瞄系统进行故障分析. 分析结果表明,基于模糊Petri网的故障诊断方法,结构简单、易懂,具有良好的故障表达形式以及有效的模糊推理能力,是一种行之有效的故障诊断方法.     

无环Petri网的结构性质

无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属...     

基于Petri网的离散事件系统控制理论

建立在Ｐｅｔｒｉ网逻辑模型上的离散事件系统控制理论是近年来发展起来的离散事件系统控制理论的重要组成部分，具有适应面广和易于实用化的特点，本文首先介绍该理的Ｐｅｔｒｉ网模型，然后概述该理论的主要成果。     

基于Petri网模型的顺序离散事件机电系统在线Bayes故障诊断方法

提出了顺序离散事件机电系统的概念,并基于Petri网理论,研究了赋时简单串联顺序事件Petri网对该类系统建模.将变迁过程的时间度量看成统计量,提出一种Bayes试验鉴定方法,用于对统计量方差差异进行显著性检验,并通过结合Bayes方法与先验知识对系统进行故障诊断.实验结果表明,该故障诊断算法能够充分将经验知识和实时监测数据相结合,可以较准确地检测某物料自动输送系统的故障.     

求DEDS关键路（回路）的Petri网方法

为了研究离散事件动态系统的周期性和稳定性,需要求系统矩阵A在极大代数意义下的特征值和特征向量。文[1]通过以A为关联矩阵的有向图G（A）的关键路（回路）得出了一个求特征值和特征向量的方法。本文提出了一种寻找有向图G（A）的关键路（回路）的有效Petri网方法,它有一定规律可循。     

基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.     

离散事件系统的控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法。该方法首先把冲突问题转化为禁止状态问题。然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制，文中还给出了求解控制的有效算法。     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

基于Petri网的离散事件系统初始资源优化配置

资源优化配置技术能够在系统执行任务之前提供合理的资源分配方案,以满足预先设定的生产目标、成本等约束条件,对于节约成本、提高经济效益具有重要意义.本文基于Petri网研究离散事件系统的初始资源优化配置问题.首先,根据Petri网的结构化特性将初始资源优化配置问题抽象为整数线性规划问题;其次,利用Lingo等软件求解初始资源优化配置问题;最后,利用实例对提出的方法进行验证.实验结果表明,提出的方法简单,高效,具有重要的实际意义.     

离散事件系统的受控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求解控制的有效算法．     

Petri网-VHDL编译程序的构造

Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器．文中给出了Petri网-VHDL编译程序的构造方法．使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码．文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAX PLUSⅡ编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性．     

生物医学循环系统的Petri网分析与实时控制

用Petri网方法对一个生物医学循环系统进行分析,详细描述了循环系统的各个状态及转移关系,并给出了Petri网分析离散事件系统的步骤与方法,最后通过微机对系统进行实时控制。     

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

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

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

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

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

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