Petri网位置不变量的几何意义

引入了Petri网路增益及位置不变量并运算的概念 ,建立了路增益与位置不变量之间的联系以及路、基本圈与它们对应的位置不变量之间的关系 ,给出了Petri网图形运算与位置不变量运算之间的关系 .证明了加权状态机位置不变量存在的充要条件 ,揭示了Petri网位置不变量的几何意义 .

有效模-n S-不变量与不可达性判定

Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定。然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性。如果存在的话,又该如何求取这些模-n S-不变量Desel J并未就这两个问题给出答案。该文提出了有效模-n S-不变量的概念,将上述问题转化为有效模-n S-不变量的存在性问题,并借助矩阵的整数分解给出了寻找有效模-n S-不变量的方法,有效解决了利用模-n S-不变量进行不可达性判定的问题。

测控集群系统随机Petri网模型与可用性分析

研究并实现了一个应用于测控领域的高可用性实时集群系统,该系统充分采用冗余技术以消除系统中的单一故障点.首先阐述了系统的体系结构,然后在介绍随机Petri网基本概念的基础上,建立了系统的随机Petri网模型,并在此模型的基础上,分析了系统各部分的稳态可用度和系统的总稳态可用度.经理论计算表明,测控集群系统一年的平均故障停机时间约为3.44分钟,因此,系统具有较高的可用性,完全满足关键应用场所的高可用性要求.

基于ESHLEP-N印染生产线的仿真

印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型,通过实例验证了模型的可操作性与有效性,分析了具有优化生产运行作用的生产性能。

N+K形式冗余备份通信系统的可用度分析

文中利用随机Petri网对n+k形式冗余备份通信系统进行了综合分析,分析过程充分考虑了系统的动态变化和工程中的实际情况,建模过程简单直观,而且通过PIPE软件的仿真,得出了通信系统可靠性评价的一系列结果。该方法为工程人员设计系统的配置提供理论依据和数值依据,为促进配置资源的最优组合提供了较好的参考。

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

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

Modeling of a welding robot system with time delay

A new real time control model based on the fundamental Petri net theory is built for a complete close loop welding robot system with time delay. The new Petri net model synchronizes with devices at the primary level by introducing into the basic Petri net expression new parameters which contain the responding real time information. In addition, time delay is taken into account by adding some necessary time related parameters. Usually, in a system without time delay, if the condition is enabled, the transition must be fired, but in a system with time delay, this property is only a necessary but not a sufficient condition.

一种高可用性冗余集群的关键技术及可信性分析

介绍了高可用性冗余集群系统的一些关键技术,提出了一种基于任务表的自适应容错算法,对算法的设计思想和具体实现进行了详细阐述。最后建立了系统随机Petri-net模型,对系统进行可信性分析,经计算分析表明系统满足实际高可用性要求。

一种新的FMS混合调度算法(英文)

在综合一种新的Petri网模型以及另一种新的混合优化策略的基础上 ,提出了一种具有全局优化特征的FMS调度算法 ,最后 ,仿真结果验证了该算法的有效性以及良好的研究与应用前景 .