D. [. Alur and . Dill, A theory of timed automata, TCS, pp.183-235, 1994.

S. Akshay, L. Hélouët, C. Jard, P. Reynier, and M. Diaz, Robustness of time Petri nets under guard enlargement Timed Petri nets and BQOs Modeling and verification of time dependent systems using time Petri nets, RP, LNCS 7550 ICATPN, pp.92-106, 1991.

P. Bouyer, S. Haddad, and P. Reynier, Timed Petri nets and timed automata: On the discriminating power of zeno sequences, Information and Computation, vol.206, issue.1, pp.73-107, 2008.
DOI : 10.1016/j.ic.2007.10.004

P. Bouyer, N. Markey, and O. Sankur, Robustness in Timed Automata, Proc. of RP, pp.1-18, 2013.
DOI : 10.1007/978-3-642-41036-9_1

L. Clemente, F. Herbreteau, and G. Sutre, Decidable Topologies for Communicating Automata with FIFO and Bag Channels, In CONCUR LNCS, vol.8704, pp.281-296, 2014.
DOI : 10.1007/978-3-662-44584-6_20
URL : https://hal.archives-ouvertes.fr/hal-01023456

L. Clemente, F. Herbreteau, A. Stainer, and G. Sutre, Reachability of Communicating Timed Processes, FoSSaCS, pp.81-96, 2013.
DOI : 10.1007/978-3-642-37075-5_6
URL : https://hal.archives-ouvertes.fr/hal-00744085

L. Martin-de-wulf, N. Doyen, J. Markey, and . Raskin, Robust safety of timed automata. Formal Methods in System Design, pp.45-84, 2008.

D. D. 'aprile, S. Donatelli, A. Sangnier, and J. Sproston, From time Petri nets to timed automata: An untimed approach, TACASFS01] A. Finkel and Ph. Schnoebelen. Well-structured transition systems everywhere! In TCS, pp.216-23063, 2001.

S. D. Haddadjll77-]-n, L. H. Jones, Y. E. Landweber, and . Lien, Time and timed Petri nets Complexity of some problems in Petri nets, Disc PhD School 2011, pp.277-299, 1977.

M. Philip and . Merlin, A Study of the Recoverability of Computing Systems [Pur00] A. Puri. Dynamical properties of timed automata, DEDS, pp.87-113, 1974.

V. V. Ruiz, F. C. Gomez, D. De, and F. Escrig, On non-decidability of reachability for timed-arc Petri nets, PNPM Reynier and A. Sangnier. Weak time Petri nets strike back! In Proc. of CON- CUR 2009Wal83] B. Walter. Timed Petri-Nets for Modelling and Analysing Protocols with Real-Time Characteristics Proc. of PSTV, pp.188-557, 1983.