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

E. Best, W. Fr¸aczakfr¸aczak, R. P. Hopkins, H. Klaudel, and E. Pelz, M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages, Acta Informatica, vol.35, issue.10, p.35, 1998.
DOI : 10.1007/s002360050144

B. Bieber and H. Fleishhack, Model checking of timed Petri nets based on partial order semantics. CONCUR'99, LNCS 1664, 1999.

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

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.
DOI : 10.1007/3-540-56610-4_93
URL : http://dx.doi.org/10.1016/0167-6423(94)00019-0

B. Grahlmann, The PEP tool, Computer Aided Verification, 1997.
DOI : 10.1007/3-540-63166-6_43

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems. LICS'92, 1992.
DOI : 10.1006/inco.1994.1045
URL : http://doi.org/10.1006/inco.1994.1045

K. Jensen, Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, EATCS Monographs on TCS, vol.1, 1992.

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

H. Klaudel and F. Pommereau, Asynchronous links in the PBC and M-nets. ASIAN'99, LNCS 1742, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00114697

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

K. Macmillan, A technique of state space search based on unfoldings. Formal Methods in System Design, 1995.

R. Milner, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, 1983.
DOI : 10.1016/0304-3975(83)90114-7
URL : http://doi.org/10.1016/0304-3975(83)90114-7

F. Pommereau, Modèles composables et conurrents pour le temps-réel, 2002.

G. Richter, Counting interfaces for discrete time modeling, 1998.

P. Snyder, tmpfs: a virtual memory file system