一类基于时间Jade结构模型研究.docVIP

一类基于时间的Jade结构模型研究 　　摘要：Petri网在对开放的和模型状态多变系统建模时存在困难，该文通过扩展一种可调整Petri网结构的模型来描述系统中时延特性，同时给出其转换到一般的时延Petri网模型算法。该模型基于时间对系统状态空间进行调整，使之适用于系统开发特性和模型多变特性。 　　关键词：Petri网；监控；Jade结构；建模 　　中图分类号：TP301 文献标识码：A 文章编号：1009-3044（2015）15-0208-02 　　Abstract： Petri nets have been widely applied in the modeling of modern manufacturing systems， while modeling of open and flexible control system is difficult. To resolve the problems efficiently， this work designed an extended Jade structure based on M-space， and this structure was used to modeling and describing the characteristic of timed system. Based on the adjusting of time to system state space， this model was suitable for characteristics of open systems and changeable structure mode. 　　Key words：Petri net； monitor； Jade structure； modeling 　　Petri网（Petri net，PN）建模方法以其直观且简单地使用较小模型表达较大的系统运行空间，通过扩展系统模型，增加Petri网某项属性，来使之符合更多领域应用，如网络协议与安全，多Agent系统，实时任务与性能分析，规则描述等。同时广泛应用于解决离散事件动态系统（Discrete event dynamic system，DEDS）的监控问题。基于Petri网模型的DEDS控制器设计目标是使所设计的控制器能够保证系统的运行满足系统性能设计要求。Petri网作为DEDS逻辑层的建模和分析的主要工具之一，广受青睐，尤其受控Petri网获到控制领域专家的普遍关注。DEDS的核心问题就是系统的监控问题，而监控理论所要研究的问题是确定对应的控制策略使受控对象的行为满足系统控制规范。 　　1 背景介绍 　　基于Petri网模型的DEDS控制器设计目标是使所设计的控制器能够保证系统的运行满足系统性能设计要求。但是在基于Petri网的DEDS监控理论研究中，大多反馈控制器只能针对某一类特殊问题或是一类特殊结构的Petri子网进行综合和分析，因此还存在许多实际的监控问题有待进一步研究。同时这些监控模型仅仅适用于闭环反馈系统，无法描述闭环工业控制系统进入异常或非法状态的情形和开环系统的运行规律。 　　针对DEDS在工业控制领域应用过程中存在的两个问题，即系统开环和系统状态异常变化，本文在模型结构可变的基础上，定义了一种基于时间的Jade结构模型。 　　2基于时间的Jade结构 　　Jade结构模型是一种修改系统状态标识的一类受控模型。这类结构设定一些（或者全部）库所是完全可观可控的。完全可观可控的库所可以随着DEDS监控模型的状态或者事件等来调整系统的状态标识。因而这类系统的监控模型是可以应用在开环的系统中。本节首先引用Jade结构模型；该结构在系统可控的条件下，通过调整系统模型中的一类（或者更多）基本元（库所，变迁，状态，有向弧和其权值等）使得开放的系统可以接受外部输入，同时也遵循Petri网的运行规则。在Jade结构模型的基础上，同时扩展了Jade结构模型，来解决上面的问题。为了使得Jade结构模型应用在更多实际工程，将Jade结构模型分为基于状态和变迁的两类，分别代表基于系统状态和事件的控制器模型。为了说明基于时间的Jade结构模型，以下引用了Jade结构模型相关两个定义。 　　2.1 Jade结构 　　系统运行规则： 　　a）若M[≠]J；则变迁t在状态M下的激发条件和后果，与原型Petri网是一致的； 　　b）若M=J，则在M下的变迁激发是禁止的，称M为临界状态，并对M进行调整。设M′= M + Δ（J）为临界状态M进行调整后的状态，则t在状态M′下的激发条件和后果，与原型Petri网是一致的。 　　M-Jade结构模型是基于系统状态的一类结构模型。为了防止