基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

设备故障可诊断性的研究与探索

设备故障可诊断性的分析对于设备的故障诊断具有重要的指导意义,因此,在对设备进行故障诊 断前,应首先分析该设备的可诊断性,然后决定是否有必要继续对设备进行诊断或应采取的方法和手段．对 此本文研究并探索了设备可诊断性的有关问题．首先提出了设备可诊断性的基本概念,并给出分析可诊断 性的一种计算方法;在此基础上,用实例分析了诊断模型和诊断精度对可诊断性的影响．研究表明本文所提 出的分析设备可诊断性的计算方法是行之有效的．     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

基于Petri网的Internet多机器人协调控制器设计

基于Petri网库所不变量理论提出Internet多机器人协调控制模型,并利用此模型解决系统操作中的碰撞检测问题．通过对两个机器人协作空间进行网格划分,引入隐式、显式基本操作概念简化Petri网模型,从而增强了系统的灵活性;对操作中的异常情况进行分类,建立了故障恢复Petri网;利用库所不变量理论设计机器人协调控制器,规划多机器人协调动作．仿真实验表明,所提控制模型可以有效满足系统的安全性和实时性要求．     

基于Petri网的图书借阅系统的 建模与优化分析

为提高图书的利用率,实现更人性化的借阅服务,提出了一种基于Petri网的图书借阅系统模型的优化方法.首先,通过分析图书借阅系统的结构,利用Petri网对借阅系统进行建模; 其次,对Petri网模型中的各变迁之间的行为轮廓关系进行分析后,通过增加控制结构对模型进行优化; 最后,利用PIPE软件对优化后的模型进行仿真模拟,结果表明优化后的模型具有有界性和安全性.     

高峰期电能传输中断的Petri网控制方案

传统的电能传输系统作为智能电网的基础核心主体,其运行的稳定性将直接影响智能电网的整体性能。特别是高峰供电阶段,电能传输系统必须具备较强的故障自愈能力。文章针对传统电能传输系统的基本结构及其监督控制系统,给出其Petri网形式化定义;通过对模型的分析,提出一套故障检测及定位方案;针对高峰用电期,提出一套优化的故障恢复方案,在保证系统具有较强自愈能力的同时,尽可能提高应急线路的利用率和系统故障的可恢复率。最后,通过一个实例对提出的方案进行说明并分析。     

基于Petri网的综合教学实验平台研究

设计了一种综合教学实验平台。该综合实验平台将现有的课程实验设备集成到平台中并根据电力系统中发电到输配电环节的结构设计七大功能模块模拟电力系统运行,其中故障诊断模块利用 Petri 网建立故障诊断模型对实验平台进行监控并保证其稳定运行。算例分析证明该实验平台具有良好的故障自诊断能力,满足了实验教学的需求。     

粗糙集在Petri网中的应用

利用粗糙集理论中属性核与不可分辨关系给出了属性约简算法,对专家知识系统进行化简,获得最小有效规则,建立了一种Petri网模型。该模型可以有效降低网络结构的复杂性。本文的算法利用模糊Petri网络实现模糊推理,并用实例验证了这种智能结合的有效性。     

故障Petri网的状态方程研究

在比较其它研究人员关于故障Petri网定义的基础上给出了新的故障Petri网定义,根据给出定义提出了确定故障Petri网状态方程的算法,并通过实例证明了所提出的状态方程符合故障动态传播的物理特性．     

MAS行为协进化Petri网模型构建

为对复杂的多Agent行为协进化过程进行建模,给出了行为协进化的MAS智能控制系统的组织构造,引入Petri网方法构建了系统行为协进化过程的Petri网模型,并对模型进行了特性分析及仿真验证.所建模型较好地描述了协进化及其控制过程的流程结构、动态行为规律及多Agent间的交互机制.     

数据融合系统的Petri网模型

数据融合是对按时序由传感器获得的数据进行分析和综合的过程,本文提出了多维Ｐｅｔｒｉ网系统,用它建立数据融合的功能与结构模型,构造出该Ｐｅｔｒｉ网模型的可达树,在可达树上分析数据融合的性能和行为,同时给出了建立多维Ｐｅｔｒｉ网模型和构造可达树的算法     

基于行为Petri模型的诊断推理研究

基于模型诊断理论,应用 行为Petri网对诊断问题和诊断解进行了重新定义,阐述了行为PN的模型构造和后向可达b-w分析方法,以某卫星电源系统的故障诊断为例,描述基于行为PN模型的诊断理论及其分析方法的应用。该方法为Petri网在故障诊断领域的应用以及基于因果模型认方法的发展提供了有新的思路。     

Research of the Assembly Model Based on Petri Net

Assembly model plans an important role in assembly sequence planning.Flexible assembly system (FAS) is a dis- crete event system (DES),so Petri net,as an important analytical tool for the DES,is used for modeling of an FAS.All of the feasible assembly sequences can be obtained by firing the Petri net model.In order to enhancing the efficiency of the assembly sequence planning,knowledge-based Petri net,combining an usual Petri net with expert's knowledge and experiences,is proposed to con- struct the assembly model.So the feasible assembly sequences can be reduced greatly,and the optimum assembly sequence could be generated without the combinatorial explosion of solutions.     

数控机床可用度建模与仿真

首先对数控机床运行的动态变化过程进行深入分析,建立了可靠性随机Petri网模型;其次利用故障总时间法得到各故障时刻和各子系统对应状态,在此基础上进行蒙特卡洛仿真,建立了数控机床和独立子系统的动态可用性模型。文中以7台数控车床的261条故障数据为例进行分析,确定数控车床及各子系统可用度随时间的变化趋势,分析结果为合理制定数控车床的维修策略以及设备可用性状况预测提供依据。     

构件系统结构的Petri网方法描述

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。     

PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.     

基于扩展Petri网的仿真建模与分析

从扩展事件驱动过程链(EEPC)和传统Petri网入手,结合二者的特点,提出新的仿真模型——基于EEPC的扩展Petri模型。该仿真模型既能体现业务流程的逻辑结构,又能定量对时间等因素进行计算与判定,从定性和定量两个方面保证了流程分析的正确性与有效性。以某医院内科病人就诊流程为例对该仿真模型进行了有效性验证。     

基于时间Petri网的铁通调度指挥系统建模与分析

在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析.     

一种时延Petri网的死锁预防方法

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活．首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器．     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.