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

This is an incremental finding for researchers in formal methods and system diagnosis, pointing out a specific flaw in an existing technique.

The paper demonstrates that an efficient integer linear programming approach for diagnosing faults in Petri nets can fail to detect faults even when the system is diagnosable, highlighting a limitation in the method.