An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming
arXiv:1210.4231
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.
arXiv comment3 pages