A verification method for the diagnosability of discrete event systems based on λ-free Petri nets

doi:10.3969/j.issn.1000-1565.2025.06.003

Abstract

Abstract: Discrete event systems(DES)may lead to faults during operation,therefore, researching fault diagnosis is essential for systems stable operation. One of the research contents of DES fault diagnosis is verifying the diagnosability of systems, and its purpose is to determine whether faults can be detected within a finite observation sequence after their occurrence. Consequently, regarding this issue, we present a DES fault diagnosability verification approach based on a λ-free Petri net. Firstly, this paper makes a model of a λ-free Petri net, where the faults are represented as unobservable transitions. Next, we employ a particular net, called verifier net, which is built from the original Petri net and its fault-free subnet. Finally, we draw the reachability graph of the verifier net and propose a diagnosability verification method.- DOI:10.3969/j.issn.1000-1565.2025.06.003一种基于λ-free Petri网的离散事件系统可诊断性验证方法满育冰¹,霍翊茗²,董亮³,冉宁¹(1.河北大学电子信息工程学院,河北保定 071002; 2.河北大学国际学院,河北保定 071002;3.辽宁华电铁岭发电有限公司,辽宁铁岭 112000)摘要:离散事件系统(discrete event systems,DES)在运行中易发生故障,因此研究故障诊断方法对于保障系统安全稳定运行至关重要.系统可诊断性验证是DES故障诊断的研究内容之一,其目的是判断故障发生后能否在有限长度的观测序列内被检测出来. 因此,针对该问题,提出一种基于λ-free Petri网的DES可诊断性验证方法. 首先构建了λ-free Petri网模型,将故障建模为不可观变迁;其次基于原始模型和其无故障子网构建一个验证网;最后绘制验证网的可达性图,提出可诊断性验证方法.实验结果表明,该方法显著提升了DES故障可诊断性的验证能力,有效增强了DES在实际应用中的可靠性.关键词:Petri网;离散事件系统;可诊断性中图分类号:TP11 文献标志码:A 文章编号:1000-1565(2025)06-0582-08A verification method for the diagnosability of discrete event systems based on λ-free Petri netsMAN Yubing¹, HUO Yiming², DONG Liang³, RAN Ning¹(1. College of Electronic Informational Engineering, Hebei University, Baoding 071002, China;2.International College, Hebei University, Baoding 071002,China;3. Liaoning Huadian Tieling Power Generation Co., Ltd., Tieling 112000,China)Abstract: Discrete event systems(DES)may lead to faults during operation,therefore, researching fault diagnosis is essential for systems stable operation. One of the research contents of DES fault diagnosis is verifying the diagnosability of systems, and its purpose is to determine whether faults can be detected within a finite observation sequence after their occurrence. Consequently, regarding this issue, we present a DES fault diagnosability verification approach based on a λ-free Petri net. Firstly, this paper makes a model of a λ-free Petri net, where the faults are represented as unobservable transitions. Next, we employ a particular net, called verifier net, which is built from the original Petri net and its fault-free subnet. Finally, we draw the reachability graph of the verifier net and propose a diagnosability verification method.- 收稿日期:2025-06-23;修回日期:2025-09-20 基金项目:国家自然科学基金项目(62373132);河北省自然科学基金项目(F2025201023);石家庄市驻冀高校基础研究项目(241791367A);河北大学优秀青年科研创新团队建设项目(QNTD202411);河北大学多学科交叉研究计划项目(DXK202409) 第一作者:满育冰(1999—),女,河北大学在读硕士研究生,主要从事离散事件系统方向研究.E-mail:15851890890@163.com 通信作者:冉宁(1987—),男,河北大学副教授,主要从事离散事件系统、人工智能方向研究.E-mail:ranning87@hotmail.com 第6期满育冰等:一种基于λ-free Petri网的离散事件系统可诊断性验证方法河北大学学报(自然科学版) 第45卷The results of experiments show that the proposed method significantly improves the verification capability of DES fault diagnosability and effectively enhanced the reliability of DES in practical applications.

Key words: Petri net, discrete event systems, diagnosability

CLC Number:

TP11

MAN Yubing, HUO Yiming, DONG Liang, RAN Ning. A verification method for the diagnosability of discrete event systems based on λ-free Petri nets[J]. Journal of Hebei University(Natural Science Edition), 2025, 45(6): 582-589.

References

[1] CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems[M]. 2nd ed. Boston: Springer, 2008: 120-130.
[2] BATES I W, KARIMODDINI A, KARIMADINI M. A learning-based approach for diagnosis and diagnosability of unknown discrete event systems[J]. IEEE Trans Neural Netw Learn Syst, 2024, 35(4): 5421-5434. DOI:10.1109/TNNLS.2022.3204557.
[3] LIANG Y, LIU G Y, EL-SHERBEENY A M. Polynomial-time verification of decentralized fault pattern diagnosability for discrete-event systems[J]. Mathematics, 2023, 11(18): 3998. DOI:10.3390/math11183998.
[4] 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.
[5] JIANGS B, HUANGZ D, CHANDRA V, et al. A polynomial algorithm for testing diagnosability of discrete-event systems[J]. IEEE Trans Autom Control, 2001, 46(8): 1318-1321. DOI:10.1109/9.940942.
[6] MOREIRA M V, JESUS T C, BASILIO J C. Polynomial time verification of decentralized diagnosability of discrete event systems[J]. IEEE Trans Autom Control, 2011, 56(7): 1679-1684. DOI:10.1109/TAC.2011.2124950.
[7] MA Z Y, YIN X, LI Z W. Marking diagnosability verification in labeled Petri nets[J]. Automatica, 2021, 131: 109713.DOI:10.1016/j.automatica.2021.109713.
[8] CUI J Y, XIA Y Z. Diagnosability verification of discrete event systems[J]. Appl Comput Eng, 2023, 6(1): 231-237. DOI:10.54254/2755-2721/6/20230801.
[9] GOUGAM H E, PENCOLÉ Y, SUBIAS A. Diagnosability analysis of patterns on bounded labeled prioritized Petri nets[J]. Discrete Event Dyn Syst, 2017, 27(1): 143-180. DOI:10.1007/s10626-016-0234-5.
[10] CABASINO M P, GIUA A, SEATZU C. Fault detection for discrete event systems using Petri nets with unobservable transitions[J]. Automatica, 2010, 46(9): 1531-1539.DOI:10.1016/j.automatica.2010.06.013.
[11] MADALINSKI A, NOUIOUA F, DAGUE P. Diagnosability verification with Petri net unfoldings[J]. Int J Knowl Based Intell Eng Syst, 2010, 14(2): 49-55. DOI:10.5555/1835397.1835398.
[12] 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.
[13] 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.
[14] 葛瑜,王晓静,朱光辉,等.基于Petri网基础标识的分散式故障诊断方法研究[J].电力系统保护与控制,2022,50(15):178-186.DOI:10.19783/j.cnki.pspc.220652.
[15] CABASINO M P, GIUA A, SEATZU C. Diagnosability of discrete-event systems using labeled Petri nets[J]. IEEE Trans Autom Sci Eng, 2014, 11(1): 144-153. DOI:10.1109/TASE.2013.2289360.
[16] 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.
[17] 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.
[18] 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.
[19] 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.
[20] 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.
[21] 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.
[22] CABASINO M P, GIUA A, SEATZU C. Identification of Petri nets from knowledge of their language[J]. Discrete Event Dyn Syst, 2007, 17(4): 447-474. DOI:10.1007/s10626-007-0025-0.
[23] MYLNIKOV L A, SALTYKOVA A D, AVRAMOVIC Z. Event-driven process methodology notation for information processing research[J]. Autom Doc Math Linguist, 2024, 58(4): 243-254. DOI:10.3103/S0005105524700183.
[24] 戴维,刘富春,赵锐,等.基于状态估计的分布式离散事件系统可诊断性研究[J].工业工程, 2021, 24(1): 123-131. DOI:10.3969/j.issn.1007-7375.2021.01.017.
[25] 阙蔡雄,刘富春,赵锐,等.基于Petri网诊断器的离散事件系统模式故障的在线诊断[J].控制理论与应用, 2020, 37(7): 1621-1627. DOI:10.7641/CTA.2020.90427.
[26] CABASINO M P, LAFORTUNE S, SEATZU C. Optimal sensor selection for ensuring diagnosability in labeled Petri nets[J]. Automatica, 2013, 49(8): 2373-2383. DOI:10.1016/j.automatica.2013.04.041.
[27] 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.
[28] 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. (