F. Basile, P. Chiacchio, D. Tommasi, and G. , 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

A. Benveniste, E. Fabre, S. Haar, and C. Jard, Diagnosis of asynchronous discrete-event systems: a net unfolding approach, IEEE Transactions on Automatic Control, vol.48, issue.5, pp.714-727, 2003.
DOI : 10.1109/TAC.2003.811249
URL : https://hal.archives-ouvertes.fr/inria-00638345

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

B. Berthomieu, F. Peres, and F. Vernadat, Bridging the Gap Between Timed Automata and Bounded Time Petri Nets, 4th International Conference Formal Modeling and Analysis of Timed Systems, pp.82-97, 2006.
DOI : 10.1007/11867340_7

B. Berthomieu, F. Peres, and F. Vernadat, Model-checking bounded prioriterized time Petri nets In: Automated Technology for Verification and Analysis, LNCS, vol.4762, pp.523-532, 2007.
DOI : 10.1007/978-3-540-75596-8_37
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.6023

M. 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. Cabasino, A. Giua, and C. Seatzu, Diagnosability of Discrete-Event Systems Using Labeled Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.11, issue.1, pp.144-153, 2014.
DOI : 10.1109/TASE.2013.2289360
URL : https://hal.archives-ouvertes.fr/hal-01479636

A. Cimatti, C. Pecheur, and R. Cavada, Formal verification of diagnosability via symbolic model checking, 18th International Joint Conference on Artificial Intelligence, pp.363-369, 2003.

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

S. Genc and S. Lafortune, Distributed Diagnosis of Place-Bordered Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.4, issue.2, pp.206-219, 2007.
DOI : 10.1109/TASE.2006.879916
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.8563

A. Giua, A benchmark for diagnosis. URL http://www.diee.unica.it/ giua, 2007.

A. Giua and C. Seatzu, Fault detection for discrete event systems using Petri nets with unobservable transitions, Proceedings of the 44th IEEE Conference on Decision and Control, pp.6323-6328, 2005.
DOI : 10.1109/CDC.2005.1583175
URL : https://iris.unica.it/bitstream/11584/100146/5/10aut_draft.pdf

H. Gougam, A. Subias, and Y. Pencolé, Supervision Patterns: Formal Diagnosability Checking by Petri Net Unfolding, 4th IFAC Workshop on Dependable Control of Discrete Systems, pp.73-78, 2013.
DOI : 10.3182/20130904-3-UK-4041.00039

A. Grastien, Symbolic testing of diagnosability, International Workshop on Principles of Diagnosis (DX-09), pp.131-138, 2009.

S. Haar, A. Benveniste, E. Fabre, and C. Jard, Partial order diagnosability of discrete event systems using petri net unfoldings, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), pp.3748-3753, 2003.
DOI : 10.1109/CDC.2003.1271732
URL : https://hal.archives-ouvertes.fr/inria-00638329

M. Hack, Petri net languages, 1975.

T. Jéron, H. Marchand, S. Pinchinat, and M. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, pp.262-268, 2006.
DOI : 10.1109/WODES.2006.1678440

S. Jiang and R. Kumar, Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004.
DOI : 10.1109/TAC.2004.829616

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001.
DOI : 10.1109/9.940942

S. Lai, D. Nessi, M. Cabasino, A. Giua, and C. Seatzu, A comparison between two diagnostic tools based on automata and Petri nets, 2008 9th International Workshop on Discrete Event Systems, pp.144-149, 2008.
DOI : 10.1109/WODES.2008.4605936

G. Lamperti and M. Zanella, Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques, Artificial Intelligence, vol.170, issue.3, pp.232-297, 2006.
DOI : 10.1016/j.artint.2005.08.002

D. Lefebvre and C. Delherm, Diagnosis of DES With Petri Net Models, IEEE Transactions on Automation Science and Engineering, vol.4, issue.1, pp.114-118, 2007.
DOI : 10.1109/TASE.2006.872122

F. Lin, Diagnosability of discrete event systems and its applications, Discrete Event Dynamic Systems: Theory and Applications, vol.25, issue.1, pp.197-212, 1994.
DOI : 10.1007/BF01441211

B. Liu, An efficient approach for diagnosability and diagnosis of des based on labeled Petri nets -untimed and timed contexts, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01267284

B. Liu, M. Ghazel, and A. Toguyéni, OF-PENDA: A software tool for fault diagnosis of discrete event systems modeled by labeled Petri nets, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems no. 1161 in CEUR Workshop Proceedings, pp.20-35, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00999406

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), pp.1293-1298, 2014.
DOI : 10.1109/ECC.2014.6862505
URL : https://hal.archives-ouvertes.fr/hal-00999387

Y. Pencolé, Diagnosability analysis of distributed discrete event systems, 16th European Conference on Artificial Intelligence, pp.43-47, 2004.

Y. Pencolé and M. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1-2, pp.121-170, 2005.
DOI : 10.1016/j.artint.2005.01.002

Y. Pencolé, A. Schumann, and D. Kamenetsky, TOWARDS LOW-COST FAULT DIAGNOSIS IN LARGE COMPONENT-BASED SYSTEMS 1, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.1473-1478, 2006.
DOI : 10.3182/20060829-4-CN-2909.00245

J. Peterson, Petri Nets, ACM Computing Surveys, vol.9, issue.3, pp.223-252, 1977.
DOI : 10.1145/356698.356702

L. Rozé and M. Cordier, Diagnosing discrete-event systems : extending the diagnoser approach to deal with telecommunication networks, Journal on Discrete-Event Dynamic Systems : Theory and Applications, pp.43-81, 2002.

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

P. Schnoebelen, The complexity of temporal logic model checking, Advances in Modal Logic, vol.4, pp.393-436, 2003.

A. Schumann and Y. Pencolé, Scalable diagnosability checking of event-driven systems, 20th International Joint Conference on Artificial Intelligence, pp.575-580, 2007.

L. Ye and P. Dague, A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, pp.130-137, 2012.
DOI : 10.1109/ICTAI.2012.26
URL : https://hal.archives-ouvertes.fr/hal-00790143

T. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially observed discrete-event systems, Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.

M. Zanella and G. Lamperti, Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI04), pp.838-842, 2004.

J. Zaytoon and S. Lafortune, Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, pp.308-320, 2013.
DOI : 10.1016/j.arcontrol.2013.09.009