Abstract: In this paper, we deal with the problem of enforcing diagnosability to labeled Petri nets (PNs) appropriately adding new sensors. We show that, solving an integer linear programming problem, ...