Predictability Verification of Fault Patterns in Labeled Petri Nets

• 成果类型: Article
• 署名作者: Cong, Xuya; Yu, Zhenhua; Fanti, Maria Pia; Mangini, Agostino Marcello; Li, Zhiwu
• 署名单位: Xi'an University of Science & Technology; Politecnico di Bari; Macau University of Science & Technology
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3477959
• 发表日期: 2025
• 页码: 1973-1980
• 关键词: Synchronization; predictive models; vectors; Petri nets; Prognostics and health management; labeling; Discrete-event systems; Automata; Aerospace electronics; uncertainty; Discrete event system (DES); fault pattern; Petri net (PN); predictability

摘要

This article focuses on the predictability verification problem of fault patterns for both bounded and unbounded discrete event systems modeled with labeled Petri nets. A system is said to be predictable with respect to a fault pattern if any complete fault behavior in a fault pattern can be correctly predicted before its occurrence, where the fault patterns are characterized by a particular composition of a labeled Petri net with a fault pattern net. In this article, we construct a fault pattern predictor net and a basis fault pattern predictor graph (PG) that is based on the notion of basis markings. By exploiting the fault pattern predictor net and basis fault pattern PG, we derive a necessary and sufficient condition to check fault pattern predictability, which does not need the full reachability/coverability graph of a net, thus gaining practical computation benefits.