广东工业大学学报2025，Vol.42Issue(2)：52-58,7.
基于概率标签Petri网的随机离散事件系统故障预测
Fault Predictability of Stochastic Discrete Event Systems Based on Probabilistic Labeled Petri Nets
摘要
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.关键词
离散事件系统/Petri网/故障预测/随机自动机Key words
discrete event system/Petri net/fault prognosis/stochastic automaton分类
计算机与自动化引用本文复制引用
程琰,刘富春..基于概率标签Petri网的随机离散事件系统故障预测[J].广东工业大学学报,2025,42(2):52-58,7.基金项目
国家自然科学基金资助项目(61673122) （61673122）
广东省自然科学基金资助项目(2023A1515012783) （2023A1515012783）
