1. On K-diagnosability of Petri nets via integer linear programming;Basile;Automatica,2012
2. Assessment of initial-state-opacity in live and bounded labeled petri net systems via optimization techniques;Basile;Automatica,2023
3. Sensors selection for K-diagnosability of Petri nets via integer linear programming;Basile,2015
4. Simple pattern minimality problems: integer linear programming formulations and covering-based heuristic solving approaches;Boccia;INFORMS Journal on Computing,2020
5. A new approach for diagnosability analysis of Petri nets using verifier nets;Cabasino;IEEE Transactions on Automatic Control,2012