R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, 1994.

E. Best, R. Devillers, and J. Hall, The Petri Box Calculus, LNCS, vol.609, 1992.
DOI : 10.1007/978-3-662-04457-5_2

C. Bui-thanh, H. Klaudel, and F. Pommereau, Petri nets with causal time for system verification. MTCS'02, Electronic Notes in Theoretical Computer Sciences 68, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00114682

C. Bui-thanh, H. Klaudel, and F. Pommereau, Box Calculus with Coloured Buffers, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00114687

F. Corradini, D. Ortenzio, and P. Inverardi, On the relationship among four timed process algebras, Fundamenta Informaticae, vol.34, 1999.

R. Durchholz, Causality, time, and deadlines, Data & Knowledge Engineering, vol.6, issue.6, 1991.
DOI : 10.1016/0169-023X(91)90024-R

J. Esparza, Model checking using net unfoldings, Science of Computer Programming, vol.23, 1994.

V. Khomenko, M. Koutny, and W. Vogler, Canonical prefixes of Petri net unfoldings, CAV'02, 2002.

V. Khomenko and M. Koutny, Branching Processes of High-Level Petri Nets, TACAS'03, 2003.
DOI : 10.1007/3-540-36577-X_34

M. Koutny, A Compositional Model of Time Petri Nets, 2000.
DOI : 10.1007/3-540-44988-4_18

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

M. Mäkelä, MARIA: modular reachability analyser for algebraic system nets. Online manual, 1999.

O. , M. Alonzo, D. De-frutos, and . Escrig, Extending the Petri Box Calculus with time, 2001.

P. M. Merlin and D. J. Farber, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, 1976.
DOI : 10.1109/TCOM.1976.1093424

G. D. Plotkin, A Structural approach to Operational Semantics, 1981.

F. Pommereau, Causal Time Calculus, 2002.
DOI : 10.1007/978-3-540-40903-8_21
URL : https://hal.archives-ouvertes.fr/hal-00114673

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

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