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

10/16/2012

∙

by   Alban Grastien, et al.

∙

0

∙

share

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.