G. Bernot, J. Comet, A. Richard, and J. Guespin, Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-347, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

L. Calzone, F. Fages, and S. Soliman, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006.
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364

L. Cardelli, Brane calculi. interactions of biological membranes, Proc. Computational Methods in Systems Biology, pp.257-280, 2005.
DOI : 10.1007/978-3-540-25974-9_24

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series), 2006.

F. Képès, A. Rambourg, and B. Satiat-jeunema??trejeunema??tre, Morphodynamics of the Secretory Pathway, International review of cytology, vol.242, pp.55-120, 2004.
DOI : 10.1016/S0074-7696(04)42002-6

P. Lienhardt, -dimensional generalized maps, Proceedings of the fifth annual symposium on Computational geometry , SCG '89, pp.228-236, 1989.
DOI : 10.1145/73833.73859
URL : https://hal.archives-ouvertes.fr/hal-00909382

D. Mateus, J. Gallois, J. Comet, and P. L. Gall, SYMBOLIC MODELING OF GENETIC REGULATORY NETWORKS, Journal of Bioinformatics and Computational Biology, vol.05, issue.02b, 2007.
DOI : 10.1142/S0219720007002850
URL : https://hal.archives-ouvertes.fr/hal-00293530

M. Poudret, J. Comet, P. L. Gall, A. Arnould, and P. Meseure, Topologybased geometric modelling for biological cellular processes, LATA'07, to appear in LNCS, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00348152

J. F. Presley, T. H. Ward, A. C. Pfeifer, E. D. Siggia, R. D. Phair et al., Dissection of COPI and Arf1 dynamics in vivo and role in Golgi membrane transport, Nature, vol.263, issue.6885, pp.187-193, 2002.
DOI : 10.1083/JCB.200107045

A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. Shapiro, BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004.
DOI : 10.1016/j.tcs.2004.03.061
URL : http://doi.org/10.1016/j.tcs.2004.03.061