一种有界Petri网的可诊断性验证方法

作     者：郝真鸣 李承旺 张超岩 冉宁 HAO Zhenming;LI Chengwang;ZHANG Chaoyan;RAN Ning

作者机构：河北大学电子信息工程学院河北保定071002 河北大学物联网智能技术研究中心河北保定071002 河北大学节能技术研发中心河北保定071002 

基　　金：国家自然科学基金资助项目(61903119) 河北省自然科学基金资助项目(F2019201088,A2020201021) 河北省高等学校科学技术研究项目(BJ2021008) 河北省引进留学人员资助项目(C20190319) 河北大学"一省一校"专项基金资助项目(801260201137) 

出 版 物：《河北大学学报（自然科学版）》 (Journal of Hebei University(Natural Science Edition))

年 卷 期：2022年第42卷第1期

页      码：8-15页

摘      要：离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断性.最后通过例子详细说明可诊断性验证算法的计算过程.

主 题 词：离散事件系统 Petri网 故障诊断 可诊断性 

学科分类：0711[理学-心理学类] 07[理学] 08[工学] 081101[081101] 0811[工学-水利类] 071102[071102] 081103[081103] 

D　O　I：10.3969/j.issn.1000-1565.2022.01.002

馆 藏 号：203108005...