典型文献
基于修正状态类图的标签时间Petri网系统故障诊断
文献摘要：
针对具有不可观事件的离散事件系统的故障问题,提出了一种基于标签时间Petri网的诊断方法.首先,对标签时间Petri网系统现有的修正状态类图(modified state class graph,MSCG)进行分析,提出MSCG的改进算法.其次,对于给定的可观标签序列和观测时间,通过求解由改进的MSCG的路径信息构建的线性规划问题,获得所有与可观标签序列时间一致的有效路径,从而分析系统的故障情况.最后,以交替位协议为实例分析验证了所提方法的有效性,为复杂的实时系统故障诊断问题提供有效方案.
文献关键词：
离散事件系统;时间Petri网;状态类图;故障诊断
中图分类号：
作者姓名：
邓明喜;黎良;刘斌
作者机构：
武汉科技大学信息科学与工程学院,武汉430081
文献出处：
引用格式：
[1]邓明喜;黎良;刘斌-.基于修正状态类图的标签时间Petri网系统故障诊断)[J].计算机应用研究,2022(06):1678-1682,1688
A类：
状态类图,MSCG
B类：
Petri,系统故障,离散事件系统,故障问题,modified,state,class,graph,改进算法,观测时间,信息构建,线性规划,规划问题,时间一致,分析验证,实时系统,诊断问题,有效方案
AB值：
0.316919
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
