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

Open in new window