P. A. Abdulla and A. Nylén, Timed Petri Nets and BQOs, 22nd International Conference on Application and Theory of Petri Nets (ICATPN'01), 2001.
DOI : 10.1007/3-540-45740-2_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.7492

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, La méthode des classes d'´ etats pour l'analyse des réseaux temporels. Mise en oeuvre, extensionàsion`sionà la multi-sensibilisation, Modélisation des Systèmes Réactifs (MSR'01), pp.17-19, 2001.

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

M. Boyer, Translation from timed Petri nets with interval on transitions to interval on places (with urgency), Workshop on Theory and Practice of Timed Systems, 2002.

M. Boyer and M. Diaz, Multiple enabledness of transitions in Petri nets with time, Proceedings 9th International Workshop on Petri Nets and Performance Models, 2001.
DOI : 10.1109/PNPM.2001.953371

M. Boyer and O. H. Roux, Comparison of the expressiveness w.r.t. timed bisimilarity of k-bounded Arc, Place and Transition Time Petri Nets with weak and strong single server semantics, 2006.

M. Boyer and O. H. Roux, Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets, Proceeding of the 28th International Conference on Application and Theory of Petri Nets and Other Models of, 2007.

M. Boyer and F. Vernadat, Language and bisimulation relations between subclasses of timed Petri nets with strong timing semantic, 2000.

B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, Comparison of Different Semantics for Time Petri Nets, Automated Technology for Verification and Analysis (ATVA'05), 2005.

B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, Comparison of the Expressiveness of Timed Automata and Time Petri Nets, 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 05, p.3829, 2005.
DOI : 10.1007/11603009_17

B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, When are timed automata weakly timed bisimilar to time Petri nets, 25th Conference on Foundations of Software Technology and Theoretical Computer Science, p.3821, 2005.

F. Cassez and O. H. Roux, Structural Translation from Time Petri Nets to Timed Automata ? Model-Checking Time Petri Nets via Timed Automata, The journal of Systems and Software, pp.79-1456, 2006.

A. Cerone and A. Maggiolo-schettini, Time-based expressivity of time Petri nets for system specification, Theoretical Computer Science, vol.216, issue.1-2, pp.1-53, 1999.
DOI : 10.1016/S0304-3975(98)00008-5

D. De-frutos-escrig, V. V. Ruiz, and O. M. Alonso, Decidability of properties of timed-arc Petri nets, 21st International Conference on Application and Theory of Petri Nets, 2000.

H. Hanisch, Analysis of place/transition nets with timed arcs and its application to batch process control, 14th International Conference on Application and Theory of Petri Nets (ICATPN'93, p.691, 1993.
DOI : 10.1007/3-540-56863-8_52

N. D. Jones, L. H. Landweber, and Y. E. Lien, Complexity of some problems in Petri nets, Theoretical Computer Science, vol.4, issue.3, pp.277-299, 1977.
DOI : 10.1016/0304-3975(77)90014-7

W. Khansa, J. Denat, and S. Collart-dutilleul, P-Time Petri Nets for manufacturing systems, International Workshop on Discrete Event Systems, 1996.

W. Khanza, Réseau de Petri P-Temporels. ContributionàContribution`Contributionà l'´ etude des systèmessystèmes`systèmesàsystèmesà´systèmesàévènements discrets, 1992.

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

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

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

J. Sifakis, Performance Evaluation of Systems using Nets, Net theory and applications : Proc. of the advanced course on general net theory, processes and systems, 1979.

J. Srba, Timed-Arc Petri Nets vs. Networks of Timed Automata, Proceedings of the 26th International Conference on Application and Theory of Petri Nets, 2005.
DOI : 10.1007/11494744_22

B. Walter, Timed Net for Modeling and Analysing protocols with time, Proceedings of the IFIP Conference on Protocol Specification Testing and Verification, 1983.