基于修正状态类图的标签时间Petri网系统故障诊断  

Fault diagnosis of labeled time Petri net systemsbased on modified state class graph

作　　者：邓明喜 黎良 刘斌[1] Deng Mingxi;Li Liang;Liu Bin(School of Information Science&Engineering,Wuhan University of Science&Technology,Wuhan 430081,China)

机构地区：[1]武汉科技大学信息科学与工程学院,武汉430081

出　　处：《计算机应用研究》2022年第6期1678-1682,1688,共6页Application Research of Computers

基　　金：湖北省自然科学基金资助项目(2021CFB036);工业控制技术国家重点实验室开放课题(ICT2021B37)。

摘　　要：针对具有不可观事件的离散事件系统的故障问题,提出了一种基于标签时间Petri网的诊断方法。首先,对标签时间Petri网系统现有的修正状态类图(modified state class graph,MSCG)进行分析,提出MSCG的改进算法。其次,对于给定的可观标签序列和观测时间,通过求解由改进的MSCG的路径信息构建的线性规划问题,获得所有与可观标签序列时间一致的有效路径,从而分析系统的故障情况。最后,以交替位协议为实例分析验证了所提方法的有效性,为复杂的实时系统故障诊断问题提供有效方案。Based on labeled time Petri nets(LTPNs),this paper proposed a fault diagnosis method for discrete event systems with unobservable events.Firstly,by analyzing the deficiency of the modified state class graph(MSCG)of an LTPN system,this paper provided an improved MSCG.Secondly,it gave an observable label sequence and a time instant,it searched all the timing consistent paths by solving the linear programming problems associated with the paths in an improved MSCG,so as to analyze the system failure.Finally,it verified the effectiveness of the proposed method by taking the alternating bit protocol system as an example,which provided an effective scheme for the fault diagnosis of complex real-time systems.

关 键 词：离散事件系统 时间PETRI网 状态类图 故障诊断 

分 类 号：TP271[自动化与计算机技术—检测技术与自动化装置]