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

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

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 (JDEDS), pp.43-81, 2002.

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

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

A. Benveniste, É. 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-00072127

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

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. Basile, P. Chiacchio, and G. Tommasi, On -diagnosability of Petri nets via integer linear programming, Automatica, vol.48, issue.9, pp.2047-2058
DOI : 10.1016/j.automatica.2012.06.039

M. P. 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

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

H. Thierry-jéron, S. Marchand, M. Pinchinat, and . Cordier, Supervision patterns in discrete event systems diagnosis, 8th International Workshop on Discrete Event Systems, pp.262-268, 2006.

M. Bozzano, A. Cimatti, M. Gario, and S. Tonetta, Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic, Logical Methods in Computer Science, vol.11, issue.4, 2015.
DOI : 10.2168/LMCS-11(4:4)2015

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.

Y. Houssam-eddine-gougam, A. Pencolé, and . Subias, Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discrete Event Dynamic Systems, pp.143-180, 2017.

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, Automated Technology for Verification and Analysis, pp.523-532
DOI : 10.1007/978-3-540-75596-8_37
URL : http://homepages.laas.fr/bernard/tina/papers/atva07.pdf

L. James and . Peterson, Petri nets, ACM Computing Surveys, vol.9, issue.3, pp.223-252, 1977.

A. Houssam-eddine-gougam, Y. Subias, and . Pencolé, Supervision patterns: Formal diagnosability checking by Petri net unfolding, 4th IFAC Workshop on Dependable Control of Discrete Systems, pp.73-78

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

M. Hack, Petri net languages, M.I.T. Project MAC, Computation Structures Group, 1975.

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.3, pp.2741-2756, 2004.
DOI : 10.1137/0216062

E. M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking, 1999.

X. Su and A. Grastien, Diagnosis of des by independent windows, 24th International Workshop on Principles of Diagnosis, pp.148-153, 2013.