F. Basile, P. Chiacchio, and G. Tommasi, Diagnosability of Labeled Petri Nets via Integer Linear Programming, IFAC Proceedings Volumes, vol.43, issue.12, 2010.
DOI : 10.3182/20100830-3-DE-4013.00014

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

E. Dallal and S. Lafortune, On most permissive observers in dynamic sensor optimization problems for discrete event systems, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp.318-324, 2010.
DOI : 10.1109/ALLERTON.2010.5706923

M. Ghazel, A. Toguyéni, and P. Yim, State Observer for DES Under Partial Observation with Time Petri Nets, Discrete Event Dynamic Systems, vol.4, issue.2, pp.137-165, 2009.
DOI : 10.1007/s10626-009-0060-0
URL : https://hal.archives-ouvertes.fr/hal-00801148

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Trans. Autom. Control, issue.8, pp.461318-1321, 2001.

T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

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

S. Tripakis, Fault Diagnosis for Timed Automata, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.205-221, 2002.
DOI : 10.1007/3-540-45739-9_14

T. Ushio, I. Onishi, and K. Okuda, Fault detection based on Petri net models with faulty behaviors, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), pp.113-118, 1998.
DOI : 10.1109/ICSMC.1998.725394

Y. Wen, M. Jeng, L. Jeng, and F. Pei-shu, An Intelligent Technique Based on Petri Nets for Diagnosability Enhancement of Discrete Event Systems, Knowledge-Based Intelligent Information and Engineering Systems, pp.879-887, 2006.
DOI : 10.1007/11893004_112

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