Francesco Basile Pasquale Chiacchio Gianmaria De Tommasi Diagnosability of labeled Petri nets via integer linear programming. 71-77 2010 WODES https://doi.org/10.3182/20100830-3-DE-4013.00014 conf/wodes/2010 db/conf/wodes/wodes2010.html#BasileCT10