An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming

TL;DR

This paper shows that the efficient integer linear programming method for diagnosing Petri nets can fail to detect faults even when the system is diagnosable, highlighting limitations in current approaches.

Contribution

It reveals a fundamental limitation of the efficient ILP-based diagnosis method for Petri nets, demonstrating cases where it fails despite diagnosability.

Findings

ILP-based diagnosis may miss faults in diagnosable Petri nets

The paper provides examples illustrating the method's limitations

Highlights need for improved diagnosis techniques

Abstract

This document demonstrates that the efficient approach for diagnosis of Petri nets via integer linear programming may be unable to detect a fault even if the system is diagnosable.