计算机应用研究

作者：邓明喜,黎良,刘斌,

单位：武汉科技大学信息科学与工程学院,武汉430081；

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

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

针对具有不可观事件的离散事件系统的故障问题，提出了一种基于标签时间Petri网的诊断方法。首先，对标签时间Petri网系统现有的修正状态类图（modified state class graph，MSCG）进行分析，提出MSCG的改进算法。其次，对于给定的可观标签序列和观测时间，通过求解由改进的MSCG的路径信息构建的线性规划问题，获得所有与可观标签序列时间一致的有效路径，从而分析系统的故障情况。最后，以交替位协议为实例分析验证了所提方法的有效性，为复杂的实时系统故障诊断问题提供有效方案。

来源：2022年第6期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2022年第6期