一种离散事件系统边界可诊断性验证方法

来源：电子测量技术杂志2022年第8期北京时间：

作者：冉宁，李婷婷，张照彦，郝晋渊

单位：1.河北大学 电子信息工程学院 保定 071002; 2.河北大学 节能技术研发中心 保定 071002; 3.河北大学 物联网智能技术研究中心 保定 071002; 4.河北大学-中央兰开夏传媒与创意学院 保定 071002

摘要：针对有效验证离散事件系统故障后是否具有可诊断性问题，设计了一种基于Petri网的边界可诊断性的验证方法。首先，根据Petri网的结构特性，提出了显示可达图的概念及其构建算法；其次，提出了一种基于显示可达图的验证器及其构造算法，分析系统故障发生后是否具有可诊断性以及计算满足系统可诊断性的边界值；最后，通过实例对所设计的方法进行验证。实验结果表明，设计方法可以有效验证系统故障后是否具有可诊断性并计算系统满足可诊断性的边界值，计算过程较为简单，对实际工业应用中离散事件系统故障可诊断性问题具有借鉴意义。

关键词：离散事件系统;Petri网;故障诊断;边界可诊断性

基金资助：国家自然科学基金资助项目(61903119);河北省高等学校科学技术研究项目(BJ2021008);河北省引进留学人员资助项目(C20190319); 河北省高等学校人文社会科学研究项目（SY202106）；河北省人力资源社会保障课题（JRS-2020-3025）；河北省社会科学发展研究课题（20210301141）；保定市文化艺术科学规划项目（BWGY044）；2021年度河北大学高校思想政治理论课研究专项