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

doi:10.3969/j.issn.1000-1565.2022.01.002

河北大学学报(自然科学版) ›› 2022, Vol. 42 ›› Issue (1): 8-15.DOI: 10.3969/j.issn.1000-1565.2022.01.002

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

郝真鸣^1,2, 李承旺¹, 张超岩¹, 冉宁^1,3

收稿日期:2021-02-03 发布日期:2022-02-22
通讯作者: 冉宁(1987—)
作者简介:郝真鸣(1964—),男,山西寿阳人,河北大学正高级工程师,主要从事自动化控制、检测技术等研究.
E-mail:hbdxhzm@163.com
基金资助:
国家自然科学基金资助项目(61903119);河北省自然科学基金资助项目(F2019201088;A2020201021);河北省高等学校科学技术研究项目(BJ2021008);河北省引进留学人员资助项目(C20190319);河北大学"一省一校"专项基金资助项目(801260201137)

Diagnosability verification of bounded Petri nets

HAO Zhenming^1,2, LI Chengwang¹, ZHANG Chaoyan¹, RAN Ning^1,3

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

Received:2021-02-03 Published:2022-02-22

摘要/Abstract

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

关键词: 离散事件系统, Petri网, 故障诊断, 可诊断性

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.

Key words: discrete event system, Petri net, fault diagnosis, diagnosability

中图分类号:

TP11

郝真鸣, 李承旺, 张超岩, 冉宁. 一种有界Petri网的可诊断性验证方法[J]. 河北大学学报(自然科学版), 2022, 42(1): 8-15.

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.

参考文献

[1] GIUA A, SEATZU C. Observability of place/transition nets[J]. IEEE Trans Autom Control, 2002, 47(9): 1424-1437. DOI:10.1109/TAC.2002.802769.
[2] 郝晋渊, 孙丹丹, 郝真鸣, 等. 基于标签Petri网的自动制造系统初始资源配置优化[J]. 电子测量与仪器学报, 2020, 34(8): 30-36. DOI:10.13382/j.jemi.B1902845.
[3] 刘富春,曹越,赵锐,等.离散事件系统最小故障诊断基的求解与应用[J]. 信息与控制, 2020, 49(5): 521-526. DOI:10.13976/j.cnki.xk.2020.9632.
[4] LIU F C, YANG P B, ZHAO R, et al. Verification of safe diagnosability of stochastic discrete-event systems[J]. Int J Control, 2020: 1-8. DOI:10.1080/00207179.2020.1795269.
[5] BOUSSIF A, GHAZEL M, BASILIO J C. Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches[J]. Discrete Event Dyn Syst, 2021, 31(1): 59-102. DOI:10.1007/s10626-020-00324-y.
[6] GENG X N, OUYANG D T, HAN C. Verifying diagnosability of discrete event system with logical formula[J]. Chin J Electron, 2020, 29(2): 304-311. DOI:10.1049/cje.2020.01.008.
[7] 阙蔡雄,刘富春,赵锐,等.基于Petri网诊断器的离散事件系统模式故障的在线诊断[J].控制理论与应用, 2020, 37(7): 1621-1627. DOI:10.7641/CTA.2020.90427.
[8] SAMPATH M, SENGUPTA R, LAFORTUNE S, et al. Diagnosability of discrete-event systems[J]. IEEE Trans Autom Control, 1995, 40(9): 1555-1575. DOI:10.1109/9.412626.
[9] CABASINO M P, GIUA A, LAFORTUNE S, et al. A new approach for diagnosability analysis of petri nets using verifier nets[J]. IEEE Trans Autom Control, 2012, 57(12): 3104-3117. DOI:10.1109/TAC.2012.2200372.
[10] QIU W B, KUMAR R. Decentralized failure diagnosis of discrete event systems[J]. IEEE Trans Syst Man Cybern A: Syst Hum, 2006, 36(2): 384-395. DOI:10.1109/TSMCA.2005.853503.
[11] LIU J F, ZHOU Z H, WANG Z S. Online fault diagnosis in partially observed Petri nets[J]. Int J Ind Syst Eng, 2018, 30(2): 205. DOI:10.1504/ijise.2018.094843.
[12] BASILE F, CHIACCHIO P, DE TOMMASI G. An efficient approach for online diagnosis of discrete event systems[J]. IEEE Trans Autom Control, 2009, 54(4): 748-759. DOI:10.1109/TAC.2009.2014932.
[13] DOTOLI M, FANTI M P, MANGINI A M, et al. On-line fault detection in discrete event systems by Petri nets and integer linear programming[J]. Automatica, 2009, 45(11): 2665-2672. DOI:10.1016/j.automatica.2009.07.021.
[14] BASILE F, CHIACCHIO P, DE TOMMASI G. On K-diagnosability of Petri nets via integer linear programming[J]. Automatica, 2012, 48(9): 2047-2058. DOI:10.1016/j.automatica.2012.06.039.
[15] LI B, KHLIF-BOUASSIDA M, TOGUYÉNI A. On-the-fly diagnosability analysis of bounded and unbounded labeled petri nets using verifier nets[J]. Int J Appl Math Comput Sci, 2018, 28(2): 269-281. DOI:10.2478/amcs-2018-0019.
[16] LEFEBVRE D. On-line fault diagnosis with partially observed petri nets[J]. IEEE Trans Autom Control, 2014, 59(7): 1919-1924. DOI:10.1109/TAC.2013.2294617.
[17] LEFEBVRE D. Fault diagnosis and prognosis with partially observed petri nets[J]. IEEE Trans Syst Man Cybern: Syst, 2014, 44(10): 1413-1424. DOI:10.1109/TSMC.2014.2311760.
[18] JIROVEANU G, BOEL R K. The diagnosability of petri net models using minimal explanations[J]. IEEE Trans Autom Control, 2010, 55(7): 1663-1668. DOI:10.1109/TAC.2010.2046106.
[19] PAIVA P R R, CARVALHO L K, BASILIO J C. Diagnosability and online diagnosis of discrete-event systems modeled by acyclic labeled Petri nets[J]. IFAC-Papers On line, 2017, 50(1): 13630-13635. DOI:10.1016/j.ifacol.2017.08.2392.
[20] RAN N, SU H Y, WANG S G. An improved approach to test diagnosability of bounded petri nets[J]. IEEE/CAA J Autom Sin, 2017, 4(2): 297-303. DOI:10.1109/JAS.2017.7510406.
[21] LAFORTUNE S, LIN F, HADJICOSTIS C N. On the history of diagnosability and opacity in discrete event systems[J]. Annu Rev Control, 2018, 45: 257-266. DOI:10.1016/j.arcontrol.2018.04.002.
[22] GERMANOS V, HAAR S, KHOMENKO V, et al. Diagnosability under weak fairness[J]. ACM Trans Embed Comput Syst, 2015, 14(4): 1-19. DOI:10.1145/2832910.
[23] LEFEBVRE D, LECLERCQ E. Diagnosability of Petri nets with observation graphs[J]. Discrete Event Dyn Syst, 2016, 26(3): 539-559. DOI:10.1007/s10626-014-0207-5.
[24] CHEN Q R, YIN L, WU N Q, et al. Diagnosability of vector discrete-event systems using predicates[J]. IEEE Access, 2019, 7: 147143-147155. DOI:10.1109/ACCESS.2019.2945132.
[25] RAN N, WANG S G, SU H Y, et al. Fault diagnosis for discrete event systems modeled by bounded petri nets[J]. Asian J Control, 2017, 19(4): 1532-1541. DOI:10.1002/asjc.1500. (

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

Diagnosability verification of bounded Petri nets

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐

Metrics

本文评价

[1]	郝晋渊,高丽敏,冉宁,黄淼,郝真鸣. 含不可观和不可控变迁Petri网的控制器综合方法[J]. 河北大学学报(自然科学版), 2023, 43(5): 517-524.
[2]	郝真鸣,孙丹丹,郝晋渊,陈凡,葛卫华,李兵兵,冉宁. 基于Petri网的离散事件系统初始资源优化配置[J]. 河北大学学报(自然科学版), 2020, 40(2): 212-217.
[3]	石建国,商秀印,张瑞雪. 基于BP神经网络的沼气工程故障诊断专家系统[J]. 河北大学学报(自然科学版), 2013, 33(1): 102-106.