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

A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley Series in Parallel Computing, pp.0-471, 1994.
DOI : 10.1145/288197.581193

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

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

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 tool can be freely downloaded from www, 2003.

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

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.

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.