Diagnosability Enforcement in Discrete Event Systems Using Labeled Petri Nets

This research solves the problem of diagnosability enforcement in discrete event systems modeled by labeled Petri nets. Since fault diagnosis relies on system observations, the detection of the occurrence of faults can be interfered with by deadlocks. Thus, most documented approaches in the literatu...

Full description

Bibliographic Details

Published in:	IEEE Access
Main Authors:	Wei Wei, Abdulrahman Al-Ahmari, Zhiwu Li
Format:	Article
Language:	English
Published:	IEEE 2025-01-01
Subjects:	Discrete event system fault detection fault diagnosis labeled petri net observability reachability analysis
Online Access:	https://ieeexplore.ieee.org/document/11142787/