1. Al-Ajeli, A., & Bordbar, B. (2016). Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems. In 13th int. workshop on discrete event systems, Xi’an, China (pp. 165–170).
2. Diagnosability analysis of labeled time Petri net systems;Basile;IEEE Transactions on Automatic Control,2017
3. An efficient approach for online diagnosis of discrete event systems;Basile;IEEE Transactions on Automatic Control,2009
4. Computation of minimal event bases that ensure diagnosability;Basilio;Discrete Event Dynamic Systems,2012
5. Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems;Cabasino;Control Engineering Practice,2011