| 一种有界Petri网的可诊断性验证方法 |
| |
| 引用本文： | 郝真鸣,李承旺,张超岩,冉宁.一种有界Petri网的可诊断性验证方法[J].河北大学学报(自然科学版),2022,42(1):8-15. |
| |
| 作者姓名： | 郝真鸣 李承旺 张超岩 冉宁 |
| |
| 作者单位： | 河北大学电子信息工程学院,河北保定071002;河北大学物联网智能技术研究中心,河北保定071002;河北大学电子信息工程学院,河北保定071002;河北大学电子信息工程学院,河北保定071002;河北大学节能技术研发中心,河北保定071002 |
| |
| 基金项目： | 国家自然科学基金资助项目(61903119)；;河北省自然科学基金资助项目(F2019201088;A2020201021)；;河北省高等学校科学技术研究项目(BJ2021008)； |
| |
| 摘 要： | 离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断...
|
| 关 键 词： | 离散事件系统 Petri网 故障诊断 可诊断性 |
| 收稿时间： | 2021-02-03 |
Diagnosability verification of bounded Petri nets |
| |
| HAO Zhenming,LI Chengwang,ZHANG Chaoyan,RAN Ning.Diagnosability verification of bounded Petri nets[J].Journal of Hebei University (Natural Science Edition),2022,42(1):8-15. |
| |
| Authors: | HAO Zhenming LI Chengwang ZHANG Chaoyan RAN Ning |
| |
| Institution: | 1.College of Electronic Information Engineering, Hebei University, Baoding 071002, China; 2. Laboratory of IoT Technology, Hebei University, Baoding 071002, China; 3. Laboratory of Energy-Saving Technology, Hebei University, Baoding 071002, China |
| |
| Abstract: | It is important to study diagnosability verification method because it is the premise of designing fault diagnosis algorithm for discrete event system to satisfy the diagnosability. Deadlock-free after a fault is one of the common assumptions in the research field of diagnosability, which limits the application scope of diagnosability verification method. In this paper, we remove the assumption of deadlock-free after the occurrence of a fault. The concept and construction algorithm of the label reachability graph are proposed first. Then a new diagnosability verification algorithm is given to verify diagnosability of bounded Petri nets. Finally, an example is given to illustrate the calculation process of the algorithm. |
| |
| Keywords: | discrete event system Petri net fault diagnosis diagnosability |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《河北大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《河北大学学报(自然科学版)》下载免费的PDF全文 |
|
