B. Alberts and . Bernot, Molecular biology of the cell Application of formal methods to biological regulatory networks: Extending Thomas' asynchronous logical approach with temporal logic, Garland Science. Journal of Theoretical Biology, vol.229, issue.3, pp.339-347, 2002.

. Calzone, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.221805-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

. Ehrig, Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) Compartmentspecific feedback loop and regulated trafficking can result in sustained activation of ras at the Golgi, Biophys. J, vol.92, issue.3, pp.808-815, 2006.

. Képès, 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

. Mateus, 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

. Poudret, Topology-based geometric modelling for biological cellular processes, LATA'07, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00348152

. Presley, 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

. Rambourg, Three-dimensional architecture of the Golgi apparatus in Sertoli cells of the rat, American Journal of Anatomy, vol.15, issue.4, pp.455-476, 1979.
DOI : 10.1002/aja.1001540402

. Regev, 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