基于抑制弧Petri网的离散事件系统的监控理论综述

利用Petri网的抑制弧实现离散事件系统的监控是离散事件系统监控理论的一个新进展.对抑制弧Petri网作了简单的介绍,并给出了该监控理论的基本原理.详细地回顾和总结了该理论的四种方法,即:结合自动机的字符串避免方法、抑制弧方法、基于抑制弧的状态避免控制器方法以及加权抑制弧方法,分别分析了这几种方法各自的利弊.最后对其可能的发展作了展望.

带抑制弧Petri网的保性变换

Petri网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。

基于带抑制弧的Petri网的min-min算法模型研究

为了解决已有的min-min算法Petri网模型不能模拟min-min算法运行过程的问题,根据min-min算法的调度特点,利用带抑制弧的Petri网提出了一种算法模型,该模型运行过程可以严格模拟min-min算法对独立任务集的调度顺序,能够正确地描述独立任务调度系统使用min-min算法的情况。最后对该模型的空间复杂度以及每调度一个任务模型的变化情况进行了分析,随着独立任务的调度执行,该基于带抑制弧的Petri网的变迁数和弧数会随之减少,模型的空间复杂度会不断降低。

基于高级Petri网的继电器控制电路建模方法研究

根据继电器控制电路的特点,给出了利用带抑制弧的着色Petri网对继电器控制电路进行建模和分析的方法,并将其应用于某型船用柴油机控制系统的一典型继电器控制电路。建模及仿真分析结果表明,给出的带抑制弧的着色Petri网模型能对继电器控制电路进行准确的数学描述,利用建立的Petri网模型,借助Matlab平台,可以对被测电路的工作过程、输入输出特性等进行分析,为继电器控制电路的建模和特性分析提供了一种新的有效方法。