F. Basile, P. Chiacchio, and G. Tommasi, On -diagnosability of Petri nets via integer linear programming, Automatica, vol.48, issue.9, pp.2047-2058, 2012.
DOI : 10.1016/j.automatica.2012.06.039

M. P. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets, IEEE Transactions on Automatic Control, vol.57, issue.12, pp.3104-3117, 2012.
DOI : 10.1109/TAC.2012.2200372

M. P. Cabasino, A. Giua, and C. Seatzu, Diagnosability of bounded Petri nets, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pp.1254-1260, 2009.
DOI : 10.1109/CDC.2009.5399874

M. P. Cabasino, A. Giua, and C. Seatzu, Fault detection for discrete event systems using Petri nets with unobservable transitions, Automatica, vol.46, issue.9, pp.1531-1539, 2010.
DOI : 10.1016/j.automatica.2010.06.013

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Spring, 2007.

D. Corona, A. Giua, and C. Seatzu, Marking estimation of Petri nets with silent transitions, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), pp.966-971, 2004.
DOI : 10.1109/CDC.2004.1428810

R. David and H. Alla, Discrete, Continuous,and Hybrid Petri Nets, 2005.
DOI : 10.1007/978-3-642-10669-9
URL : https://hal.archives-ouvertes.fr/hal-00495611

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A Polynomial Algorithm for Testing Diagnosability of Discrete Event Systems, IEEE Transactions Automatic Control, issue.8, pp.461318-1321, 2001.

G. Jiroveanu and R. Boel, The Diagnosability of Petri Net Models Using Minimal Explanations, IEEE Transactions on Automatic Control, vol.55, issue.7, pp.1663-1668, 2010.
DOI : 10.1109/TAC.2010.2046106

B. Li, B. Liu, and A. Toguyéni, On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes -SAFEPROCESS'2015, 2015.
DOI : 10.1016/j.ifacol.2015.09.548
URL : https://hal.archives-ouvertes.fr/hal-01374104

B. Li, A. Toguyéni, and M. Khlif-bouassida, On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants, 5th International Workshop on Dependable Control of Discrete Systems -DCDS'2015, 2015.
DOI : 10.1016/j.ifacol.2015.06.474

C. Lin, S. T. Chanson, and T. Murata, Petri Net Models and Efficient T-invariant Analysis for Logical Inference of Clauses, Procs. of the 1996 IEEE International Conference on Systems, Man, and Cybernetics, pp.3174-3179, 1996.

B. Liu, M. Ghazel, and A. Toguyéni, Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets, 2014 European Control Conference (ECC), 2014.
DOI : 10.1109/ECC.2014.6862505
URL : https://hal.archives-ouvertes.fr/hal-00999387

M. Sampath, R. Sengupta, and S. Lafortune, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

Y. Wen and M. Jeng, Diagnosability Analysis Based on T-invariants of Petri Nets, Networking, Sensing and Control, pp.371-376, 2005.

T. Yoo and S. Lafortune, Polynomial-Time Verification of Diagnosability of Partially Observed Discrete-Event Systems, IEEE Transactions Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.