Fault Predictability of Stochastic Discrete Event Systems Based on Probabilistic Labeled Petri Nets

Cheng Yan; Liu Fuchun

doi:10.12052/gdutxb.240158

English Version Journal Login

您当前的位置：

首页 >

文章列表页 >

Fault Predictability of Stochastic Discrete Event Systems Based on Probabilistic Labeled Petri Nets

更新时间：2026-05-27

- Fault Predictability of Stochastic Discrete Event Systems Based on Probabilistic Labeled Petri Nets
- Vol. 42, Issue 2, Pages: 52-58(2025)
- 作者机构：
  
  广东工业大学计算机学院,广东,广州,510006
- 作者简介：
- 基金信息：
- DOI：10.12052/gdutxb.240158
  CLC： TP273
- Published：2025
- 稿件说明：
移动端阅览
程琰, 刘富春. 基于概率标签Petri网的随机离散事件系统故障预测[J]. 广东工业大学学报, 2025, 42(2): 52–58.

Cheng Yan, Liu Fuchun. Fault Predictability of Stochastic Discrete Event Systems Based on Probabilistic Labeled Petri Nets[J]. 2025, 42(2): 52-58.
程琰, 刘富春. 基于概率标签Petri网的随机离散事件系统故障预测[J]. 广东工业大学学报, 2025, 42(2): 52–58. DOI： 10.12052/gdutxb.240158

Cheng Yan, Liu Fuchun. Fault Predictability of Stochastic Discrete Event Systems Based on Probabilistic Labeled Petri Nets[J]. 2025, 42(2): 52-58. DOI： 10.12052/gdutxb.240158.

摘要

本文研究基于概率标签Petri网的随机离散事件系统故障预测，旨在通过引入带概率标签的Petri网模型，提高故障预测的精确度。通过定义边界标识和非指示标识，本文提出了一种基于概率标签Petri网的故障预测方法，该方法能在故障发生前识别一个非故障前缀，以确保在有限步内及时准确地发出故障警报。通过构造一个验证器，将故障可预测性的验证问题转变为可有效解决的模型检验问题，并得到关于随机离散事件系统故障可预测性的充分必要条件。本文提出的基于概率标签Petri网的故障预测方法，为随机离散事件系统的故障预测提供了一种新的视角，有助于在实际应用中提高系统的可靠性和安全性。

Abstract

In this research

a fault prognosis method for stochastic discrete event systems (SDES) is presented using probabilistic labeled Petri nets (PLPN) . The goal is to enhance the accuracy of fault prognosis by using a Petri net model with probabilistic labels. Boundary and non-indicative markings are defined to develop this method. It can identify non-fault prefixes before faults occur

ensuring timely and accurate fault warnings within a limited number of steps. A verifier is constructed to transform the verification of fault predictability into a solvable model checking problem. This process yields a sufficient and necessary condition for the fault predictability of SDES. The proposed method offers a new perspective for fault prediction in SDES

enhancing system reliability and safety in practical applications.

关键词

Keywords

references

CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems[M]. 2nd ed. New York: Springer, 2008.

VACHTSEVANOS G, LEWIS F, ROEMER M, et al . Intelligent fault diagnosis and prognosis for engineering systems[M ] . Hoboken: Wiley, 2006.

GENC S, LAFORTUNE S. Predictability of event occurrences in partially observed discrete-event systems[J]. Automatica, 2009, 45(2): 301-311.

LIU F C. Predictability of failure event occurrences in decentralized discrete event systems and polynomial-time verification[J]. IEEE Transactions on Automation Science and Engineering, 2019, 16(1): 498-504.

YE B B, LIU F C. Failure predictability of stochastic discrete event systems[J]. Journal of Guangdong University of Technology, 2018, 35(6): 83-89.

LYU S Y, LIU F C, ZHAO R, et al . A research on patterns fault prediction of decentralized discrete event systems[J ] . Journal of Guangdong University of Technology, 2021, 38(1): 54-63.

BENMESSAHEL B, TOUAHRIA M, NOUIOUA F. Predictability of fuzzy discrete event systems[J]. Discrete Event Dynamic Systems, 2017, 27(4): 641-673.

XIAO C T, LIU F C. Robust fault prognosis of discrete-event systems against loss of observations[J]. IEEE Transactions on Automation Science and Engineering, 2022, 19(2): 1083-1094.

ZHOU Y R, CHEN Z Q, ZHANG Z P, et al . A state space approach to decentralized fault SE-coprognosability of partially observed discrete event systems[J ] . IEEE Transactions on Cybernetics, 2023, 53(3 ): 2028-2033.

CHEN J, KUMAR R. Stochastic failure prognosis of discrete event systems[J]. IEEE Transactions on Automatic Control, 2022, 67(10): 5487-5492.

HU Y, MA Z, LI Z, GIUA A. Diagnosability enforcement in labeled petri nets using supervisory control[J]. Automatica, 2021, 131: 109776.

YU Z H, QI Y Y, CONG X Y. Decentralized marking fault diagnosis of labeled petri nets[J]. IEEE Access, 2023, 11: 99168-99177.

RU Y, HADJICOSTIS C N. Fault diagnosis in discrete event systems modeled by partially observed Petri nets[J]. Discrete Event Dynamic Systems, 2009, 19(4): 551-575.

吴文青. 带标签Petri网系统的分散式故障预测[D]. 上海: 上海交通大学, 2019.

YIN X. Verification of prognosability for labeled petri nets[J]. IEEE Transactions on Automatic Control, 2018, 63(6): 1828-1834.

KöHLER A, ZHANG P. State estimation in discrete event systems modeled by signal interpreted petri nets[J]. IEEE Control Systems Letters, 2022, 6: 2078-2083.

李彤. 基于标签Petri网和概率标签Petri网的状态可检测性和路径可检测性研究[D]. 西安: 西安电子科技大学, 2022.

BAI X, CHEN Q, SUN L, et al . Modeling and simulation of dedicated railway transportation dispatching system based on petri net[C ] //2022 4th International Academic Exchange Conference on Science and Technology Innovation (IAECST) . Guangzhou: IEEE PES Smart Buildings, Loads Customer Systems Satellite Committee-China, 2022: 617-622.

ZHANG Z, JIANG X, XIA C. Zero-determinant strategy of finite games with implementation errors and its application into group decision-making[J]. Applied Mathematics and Computation, 2025, 486: 129055.

SHEN N, WANG J, WANG J C, et al . Patient flow congestion control based on stochastic timed petri net model[C ] //2021 International Conference on Cyber-Physical Social Intelligence (ICCSI). Beijing: Chinese Association of Automation, 2021: 1-6.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Research on k-Step Active Opacity of Stochastic Discrete Event Systems

Similarity Measure for String Sequences in Weighted Petri Net

Maximally Permissive Supervisor Design Based on Reachablity and Structural Analysis of Petri Net

Energy Management Strategy of Hybrid Locomotive Based on Road Condition Parameters

Robust Design for Artificial Noise-assisted UAV Terahertz Secure Communication

Related Author

Liu Weiqi

Liu Fuchun

Hu Ying-cheng

Xing Ma-li

Wu Yuan-qing

Chen He-feng

Wu Nai-qi

Related Institution

School of Automation, Guangdong University of Technology

School of Electromechanical Engineering, Guangdong University of Technology

AI问答

⁰