P. A. Abdulla and A. Nylén, Timed Petri Nets and BQOs, ICATPN'01, pp.53-72, 2001.
DOI : 10.1007/3-540-45740-2_5

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.7492

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

T. Aura and J. Lilius, A causal semantics for time Petri nets, Theoretical Computer Science, vol.243, issue.1-2, pp.409-447, 2000.
DOI : 10.1016/S0304-3975(99)00114-0

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.14, 2004.
DOI : 10.1137/0216062

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

B. Berthomieu and M. Menasche, An enumerative approach for analyzing time Petri nets, Information Processing, pp.41-46, 1983.

B. Berthomieu and F. Vernadat, State Class Constructions for Branching Analysis of Time Petri Nets, TACAS'2003, pp.442-457, 2003.
DOI : 10.1007/3-540-36577-X_33

S. Bornot, J. Sifakis, and S. Tripakis, Modeling Urgency in Timed Systems, COMPOS'97, pp.103-129, 1998.
DOI : 10.1007/3-540-49213-5_5

L. A. Cortés, P. Eles, and Z. , Peng Verification of Embedded Systems using a Petri Net based Representation, 13th International Symposium on System Synthesis (ISSS'2000), pp.149-155, 2000.

P. Bouyer, Untameable Timed Automata!, STACS'2003, pp.620-631, 2003.
DOI : 10.1007/3-540-36494-3_54

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.401.7945

P. Bouyer, C. Dufourd, E. Fleury, and A. Petit, Are timed automata updatable?, LNCS, vol.1855, pp.464-479, 2000.
DOI : 10.1007/10722167_35

URL : https://hal.archives-ouvertes.fr/hal-00350488

F. Cassez and O. H. Roux, Structural Translation of Time Petri Nets into Timed Automata, Workshop on Automated Verification of Critical Systems (AVoCS'04), Electronic Notes in Computer Science, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00368582

D. De-frutos-escrig, V. Valero-ruiz, and O. Alonso, Decidability of properties of timed-arc Petri nets, ICATPN'00, pp.187-206, 2000.

M. Diaz and P. Senac, Time Stream Petri Nets a model for timed multimedia information, ATPN'94, pp.219-238, 1994.
DOI : 10.1007/3-540-58152-9_13

G. Gardey, D. Lime, and O. Roux, Roméo: A tool for Time Petri Nets Analysis, The 17th International Conference on Computer Aided Verification (CAV'05), pp.418-423, 2005.

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994.
DOI : 10.1109/LICS.1992.185551

W. Khansa, J. P. Denat, and S. Collart, P-Time Petri Nets for manufacturing systems, WODES'96, pp.94-102, 1996.

F. Laroussinie and K. G. Larsen, CMC: A Tool for Compositional Model-Checking of Real-Time Systems, FORTE-PSTV'98, pp.439-456, 1998.
DOI : 10.1007/978-0-387-35394-4_27

J. Lilius, Efficient State Space Search for Time Petri Nets, Electronic Notes in Theoretical Computer Science, vol.18, 1999.
DOI : 10.1016/S1571-0661(05)80254-3

D. Lime and O. H. Roux, State class timed automaton of a time Petri net, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings., 2003.
DOI : 10.1109/PNPM.2003.1231549

URL : https://hal.archives-ouvertes.fr/hal-00523588

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

M. Pezzé and M. Young, Time Petri Nets: A Primer Introduction. Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, 1999.

L. Popova, On time Petri nets, Journal Information Processing and Cybernetics, EIK, vol.27, issue.4, pp.227-244, 1991.

C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, 1974.

A. T. Sava, Sur la synthèse de la commande des systèmessystèmes`systèmesàsystèmesàévènements discrets temporisés, INPG, 2001.

J. Sifakis, Performance evaluation of systems using nets, Net Theory and Applications, Advanced Course on General Net Theory of Processes and Systems, pp.307-319, 1980.
DOI : 10.1007/3-540-10001-6_30

J. Sifakis and S. Yovine, Compositional specification of timed systems, STACS'96, pp.347-359, 1996.
DOI : 10.1007/3-540-60922-9_29

S. Tripakis, Timed Diagnostics for Reachability Properties, TACAS'99), pp.59-73, 1999.
DOI : 10.1007/3-540-49059-0_5

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009