1. Badouel E, Bednarczyk M, Borzyszkowski A, Caillaud B, Darondeau P (2007) Concurrent secrets. DEDS 17(4):425–446
2. Basile F, Chiacchio P, De Tommasi G (2008) Sufficient conditions for diagnosability of Petri nets. In Proc. of the 9th WODES, pp. 436–442, Göteborg, Sweden
3. Basile F, Chiacchio P, De Tommasi G (2009) An efficient approach for online diagnosis of discrete event systems. IEEE TAC 54(4):748–759
4. Basile F, Chiacchio P, De Tommasi G (2012) On K-diagnosability of Petri nets via integer linear programming. Automatica 48:2047–2058
5. Basile F, Cabasino MP, Seatzu C (2015) State estimation and fault diagnosis of labeled time Petri net systems with unobservable transitions. IEEE TAC 60(4):997–1009