N. Abid, S. Dal-zilio, and D. Le-botlan, A formal framework to specify and verify real-time properties on critical systems, International Journal of Critical Computer-Based Systems (IJCCBS), vol.5, issue.1, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00941248

,

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.90010-90018, 1994.

A. Arnold, Nivat's processes and their synchronization, Theor. Comput. Sci, vol.281, issue.1-2, pp.6-9, 2002.

E. Asarin, P. Caspi, and O. Maler, Timed regular expressions, Journal of the ACM, vol.49, issue.2, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01699969

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

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-Time Components in BIP, Software Engineering and Formal Methods (SEFM), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375298

B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, Comparison of the expressiveness of timed automata and time Petri nets, Formal Modeling and Analysis of Timed Systems (FORMATS), vol.3829, 2005.

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Trans. on Software Engineering, vol.17, issue.3, 1991.

B. Berthomieu and M. Menasche, An enumerative approach for analyzing time Petri nets, Proceedings IFIP, 1983.

B. Berthomieu, F. Peres, and F. Vernadat, Bridging the gap between timed automata and bounded time Petri nets, Formal Modeling and Analysis of Timed Systems (FORMATS), vol.4202, 2006.

,

B. Berthomieu, F. Peres, and F. Vernadat, Model checking bounded prioritized time Petri nets, Automated Technology for Verification and Analysis (ATVA), vol.4762, 2007.

,

B. Berthomieu, P. O. 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, 2004.

B. Berthomieu and F. Vernadat, State class constructions for branching analysis of Time Petri Nets, TACAS. LNCS, vol.2619, 2003.

,

P. A. Bourdil, B. Berthomieu, S. Dal-zilio, and F. Vernadat, Symmetry reduction for time Petri net state classes, Science of Computer Programming, vol.132, issue.2, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01561994

B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, When are timed automata weakly timed bisimilar to time Petri nets?, Theoretical Computer Science, vol.403, issue.2-3, 2008.

B. Bérard, P. Gastin, and A. Petit, Intersection of Regular Signal-Event (Timed) Languages. In: Formal Modeling and Analysis of Timed Systems (FORMATS)

, LNCS, 2006.

M. P. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, A new approach for diagnosability analysis of petri nets using verifier nets, IEEE Trans. Automat. Contr, vol.57, issue.12, 2012.

M. P. Cabasino, A. Giua, and C. Seatzu, Discrete event diagnosis using Petri nets, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01479645

F. Cassez and O. H. Roux, Structural translation from time Petri nets to timed automata, Journal of Systems and Software, vol.79, issue.10, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00363025

,

A. Cimatti, C. Pecheur, and R. Cavada, Formal verification of diagnosability via symbolic model checking, p.IJCAI, 2003.

S. Dal-zilio, TWINA: A realtime model-checker for analyzing Twin, 2019.

G. Gardey, D. Lime, M. Magnin, and O. H. Roux, Romeo: a tool for analyzing time petri nets, Computer Aided Verification (CAV), 2005.
URL : https://hal.archives-ouvertes.fr/hal-00523596

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

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.

O. Kupferman, M. Y. Vardi, and P. Wolper, An automata-theoretic approach to branching-time model checking, Journal of the ACM (JACM), vol.47, issue.2, 2000.

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

F. Peres, B. Berthomieu, and F. Vernadat, On the composition of time Petri nets, Discrete Event Dynamic Systems, vol.21, issue.3, 2011.

,

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, 1989.

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

J. Toussaint, F. Simonot-lion, and J. P. Thomesse, Time constraint verification methods based on time Petri nets, Workshop on Future Trends of Distributed Computing Systems, 1997.

S. Tripakis, Fault diagnosis for timed automata, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), 2002.

,

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

,