On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
scientific article; zbMATH DE number 6140439