P. A. Abdulla and B. Jonsson, Ensuring completeness of symbolic verification methods for infinite-state systems, Theoretical Computer Science, vol.256, issue.1-2, pp.145-167, 1998.
DOI : 10.1016/S0304-3975(00)00105-5

P. A. Abdulla and A. Nylén, Timed Petri Nets and BQOs, 22nd International Conference on Application and Theory of Petri Nets (ICATPN'01, pp.53-70, 2001.
DOI : 10.1007/3-540-45740-2_5

R. Alur and D. L. 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

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 F. Vernadat, State Class Constructions for Branching Analysis of Time Petri Nets, 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.442-457, 2003.
DOI : 10.1007/3-540-36577-X_33

P. L. Bouyer, Timed Automata May Cause Some Troubles, BRICS Report Series, vol.9, issue.35, 2002.
DOI : 10.7146/brics.v9i35.21750

P. Bouyer, Unteamable timed automata!, Proc. 20th Annual Symposium on Theoretical Aspects of Computer Science (STACS'2003), pp.620-631, 2003.

F. Cassez, O. H. Roux, O. H. Gardey, and O. F. Roux, Structural translation from time Petri nets to timed, Fourth International Workshop on Automated Verification of Critical Systems (AVoCS'04), 2004.
DOI : 10.1016/j.entcs.2005.04.009
URL : https://hal.archives-ouvertes.fr/hal-00139236

L. A. Cortès, P. Eles, and Z. Peng, Verification of embedded systems using a Petri net based representation, Proceedings 13th International Symposium on System Synthesis, pp.149-155, 2000.
DOI : 10.1109/ISSS.2000.874042

C. Daws and S. Yovine, Reducing the number of clock variables of timed automata, 17th IEEE Real-Time Systems Symposium, 1996.
DOI : 10.1109/REAL.1996.563702

D. De-frutos-escrig, V. V. Ruiz, A. , and O. M. , Decidability of Properties of Timed-Arc Petri Nets, 21st International Conference on Application and Theory of Petri Nets, pp.187-206, 2000.
DOI : 10.1007/3-540-44988-4_12

M. Diaz and P. Senac, Time Stream Petri Nets a model for timed multimedia information, 15th International Conference on Application and Theroy of Petri Nets, pp.219-238, 1994.
DOI : 10.1007/3-540-58152-9_13

A. Finkel and P. Schnoebelen, Fundamental structures in Well-Structured infinite Transition Systems, 3rd Latin American Theoretical Informatics Symposium (LATIN'98, pp.102-118, 1998.
DOI : 10.1007/BFb0054314

G. Gardey, O. H. Roux, F. Roux, and O. , Using Zone Graph Method for Computing the State Space of a??Time Petri Net, Formal Modeling and Analysis of Timed Systems (FORMATS'2003). LNCS, 2003.
DOI : 10.1007/978-3-540-40903-8_20

W. Khansa, J. Denat, and S. Collart-dutilleul, P-time petri nets for manufacturing systems, International Workshop on Discrete Event Systems, WODES'96. Edinburgh (U.K.), pp.94-102, 1996.

K. G. Larsen, P. Pettersson, Y. , and W. , Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.1-2, 1997.
DOI : 10.1007/s100090050010

J. Lilius, Efficient State Space Search for Time Petri Nets, MFCS Workshop on Concurrency '98. ENTCS, 1999.
DOI : 10.1016/S1571-0661(05)80254-3
URL : http://doi.org/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

M. Menasche, Analyse des réseaux de petri temporisés et application aux systèmes distribués, 1982.

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

Y. Okawa and T. Yoneda, Symbolic ctl model checking of time petri nets, Electronics and Communications in, pp.11-20, 1997.

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

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

T. G. Rokicki, Representing an modeling circuits, 1993.

T. G. Rokicki and C. J. Myers, Automatic verification of timed circuits, 6th International Conference on Computer-Aided Verification (CAV'94). LNCS, pp.468-480, 1994.
DOI : 10.1007/3-540-58179-0_76

A. T. Sava, A. , and H. , Commande par supervision des systèmes à évènements discrets temporisées. Modélisation des systèmes réactifs, pp.71-86, 2001.

J. Toussaint, F. Simonot-lion, and J. Thomesse, Time constraint verification methods based on time Petri nets, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pp.262-267, 1997.
DOI : 10.1109/FTDCS.1997.644736

T. Yoneda and H. Ryuba, Ctl model checking of time petri nets using geometric regions, IEICE Transactions on Information and Systems E99-D, vol.3, issue.march, pp.297-396, 1998.

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