P. M. Merlin, A study of the recoverability of computing systems, 1974.

T. Jeron, H. Marchand, S. Pinchinat, and M. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems
URL : https://hal.archives-ouvertes.fr/inria-00001113

É. Lubat, S. Dal-zilio, D. Le-botlan, Y. Pencolé, and A. Subias, A State Class Construction for Computing the Intersection of Time Petri Nets Languages, Lecture Notes in Computer Science, vol.11750, pp.79-95, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02263832

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.

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

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.

S. Tripakis, Fault Diagnosis for Timed Automata, Lecture Notes in Computer Science, pp.205-221, 2002.

F. Basile, Overview of fault diagnosis methods based on Petri net models, 2014 European Control Conference (ECC), 2014.

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.

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, 2001.

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.

B. Berthomieu, M. Boyer, and M. Diaz, Time Petri Nets, Petri Nets, pp.123-161
URL : https://hal.archives-ouvertes.fr/hal-01275316

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.42, issue.14, pp.2741-2756, 2004.

B. Liu, M. Ghazel, and A. Toguyéni, Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting, IFAC Proceedings Volumes, vol.47, issue.3, pp.1784-1789, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01740388

X. Wang, C. Mahulea, and M. Silva, Diagnosis of Time Petri Nets Using Fault Diagnosis Graph, IEEE Transactions on Automatic Control, vol.60, issue.9, pp.2321-2335, 2015.

F. Basile, M. P. Cabasino, and C. Seatzu, Diagnosability Analysis of Labeled Time Petri Net Systems, IEEE Transactions on Automatic Control, vol.62, issue.3, pp.1384-1396, 2017.

B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, Comparison of the Expressiveness of Timed Automata and Time Petri Nets, Lecture Notes in Computer Science, vol.3829, pp.211-225, 2005.

B. Berthomieu, F. Peres, and F. Vernadat, Bridging the Gap Between Timed Automata and Bounded Time Petri Nets, Lecture Notes in Computer Science, vol.4202, pp.82-97, 2006.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977.

R. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972.

H. Gougam, Y. Pencolé, and A. Subias, Diagnosability analysis of patterns on bounded labeled prioritized Petri nets, Discrete Event Dynamic Systems, vol.27, issue.1, pp.143-180, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01574475

Y. Pencolé and A. Subias, Timed pattern diagnosis in timed workflows: a model checking approach, IFAC-PapersOnLine, vol.51, issue.7, pp.94-99, 2018.

A. Giua, A benchmark for diagnosis, Benchmark Session of WODES'08 Int. Workshop on Discrete Event Systems, 2007.