O. Andrei, G. Ciobanu, and D. Lucanu, A rewriting logic framework for operational semantics of membrane systems, Theoretical Computer Science, vol.373, issue.3, pp.163-181, 2007.
DOI : 10.1016/j.tcs.2006.12.016

P. Barbier-de-reuille, I. Bohn-courseau, K. Ljung, H. Morin, N. Carraro et al., Computer simulations reveal properties of the cell-cell signaling network at the shoot apex in Arabidopsis, Proceedings of the National Academy of Sciences, vol.103, issue.5, pp.1627-1632, 2006.
DOI : 10.1073/pnas.0510130103

URL : https://hal.archives-ouvertes.fr/hal-00023247

E. Bartocci, F. Corradini, M. R. Di-berardini, E. Merelli, and L. Tesei, Shape calculus. a spatial mobile calculus for 3d shapes, Scientific Annals of Computer Science, vol.20, pp.1-31, 2010.

F. Bernardini and M. Gheorghe, Population P systems, Journal of Universal Computer Science, vol.10, issue.5, pp.509-539, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00340474

A. T. Bittig and A. M. Uhrmacher, Spatial modeling in cell biology at multiple levels, Proceedings of the 2010 Winter Simulation Conference, pp.608-619, 2010.
DOI : 10.1109/WSC.2010.5679125

C. Chaouiya, H. Klaudel, and F. Pommereau, A Petri net based framework for a qualitative modelling of regulatory networks encompassing inter-cellular signalling, JB'09, pp.1-5, 2009.

C. Chaouiya, H. Klaudel, and F. Pommereau, A modular, qualitative modelling of regulatory networks using Petri nets, chapter 12 of Modeling in Systems Biology ? the Petri Net Approach, 2010.

C. Chaouiya, A. Naldi, E. Remy, and D. Thieffry, Petri net representation of multi-valued logical regulatory graphs, Natural Computing, vol.57, issue.2, pp.727-750, 2011.
DOI : 10.1007/s11047-010-9178-0

C. Chaouiya, E. Remy, and D. Thieffry, Qualitative Petri Net Modelling of Genetic Networks, Trans Comp Syst Biol, issue.4220, pp.95-112, 2006.
DOI : 10.1007/11880646_5

URL : https://hal.archives-ouvertes.fr/hal-00310988

E. Coen, A. G. Rolland-lagan, M. Matthews, J. A. Bangham, and P. Prusinkiewicz, The genetics of geometry, Proceedings of the National Academy of Sciences, vol.101, issue.14, p.4728, 2004.
DOI : 10.1073/pnas.0306308101

F. Crick, Central Dogma of Molecular Biology, Nature, vol.215, issue.5258, pp.561-563, 1970.
DOI : 10.1038/227561a0

H. Ehrig, M. Pfender, and H. J. Schneider, Graph-grammars: An algebraic approach, 14th Annual Symposium on Switching and Automata Theory (swat 1973), 1973.
DOI : 10.1109/SWAT.1973.11

J. Giavitto, Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems, 14th International Conference on Rewriting Techniques and Applications (RTA 2003), pp.208-233, 2003.
DOI : 10.1007/3-540-44881-0_16

J. Giavitto, H. Klaudel, and F. Pommereau, Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections, Proceedings Fourth Workshop on Workshop on Membrane Computing and Biologically Inspired Process Calculi Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010.
DOI : 10.4204/EPTCS.40.11

URL : https://hal.archives-ouvertes.fr/hal-00666662

J. Giavitto and O. Michel, Declarative definition of group indexed data structures and approximation of their domains, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '01, pp.150-161, 2001.
DOI : 10.1145/773184.773201

J. Giavitto and O. Michel, The topological structures of membrane computing, Fundamenta Informaticae, vol.49, pp.107-129, 2002.

J. Giavitto and O. Michel, Modeling the topological organization of cellular processes, Biosystems, vol.70, issue.2, pp.149-163, 2003.
DOI : 10.1016/S0303-2647(03)00037-6

J. Giavitto, O. Michel, and J. Cohen, Accretive rules in cayley p systems, Selected paper from the International Workshop on Membrane Computing LNCS 2597, pp.319-338, 2002.

J. Giavitto, O. Michel, and J. Cohen, Pattern-matching and rewriting rules for group indexed data structures, ACM SIGPLAN Notices, vol.37, issue.12, pp.76-87, 2002.
DOI : 10.1145/636517.636529

J. Giavitto, O. Michel, and A. Spicher, Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems, Software-Intensive Systems and New Computing Paradigms, pp.235-254, 2008.
DOI : 10.1016/j.biosystems.2006.12.009

URL : https://hal.archives-ouvertes.fr/hal-00645997

J. Giavitto and A. Spicher, Topological rewriting and the geometrization of programming, Physica D: Nonlinear Phenomena, vol.237, issue.9, pp.1302-1314, 2008.
DOI : 10.1016/j.physd.2008.03.039

URL : https://hal.archives-ouvertes.fr/hal-00340126

M. Hammel and P. Prusinkiewicz, Visualization of developmental processes by extrusion in space-time, Graphics Interface, pp.246-257, 1996.

M. Hammel and P. Prusinkiewicz, Visualization of developmental processes by extrusion in space-time, Graphics Interface, pp.246-258, 1996.

J. Jeuring and P. Jansson, Polytypic programming, Advanced Functional Programming, pp.68-114, 1996.
DOI : 10.1007/3-540-61628-4_3

M. John, R. Ewald, and A. M. Uhrmacher, A Spatial Extension to the ?? Calculus, Electronic Notes in Theoretical Computer Science, vol.194, issue.3, pp.133-148, 2008.
DOI : 10.1016/j.entcs.2007.12.010

URL : https://hal.archives-ouvertes.fr/hal-00656206

H. Klaudel, M. Koutny, E. Pelz, and F. Pommereau, An approach to state space reduction for systems with dynamic process creation, 2009 24th International Symposium on Computer and Information Sciences, 2009.
DOI : 10.1109/ISCIS.2009.5291864

URL : https://hal.archives-ouvertes.fr/hal-00666664

H. Klaudel, M. Koutny, E. Pelz, and F. Pommereau, State space reduction for dynamic process creation. SACS Alexandru Ioan Cuza, 2010.
DOI : 10.1109/iscis.2009.5291864

URL : https://hal.archives-ouvertes.fr/hal-00666663

A. Lindenmayer, Mathematical models for cellular interactions in development I. Filaments with one-sided inputs, Journal of Theoretical Biology, vol.18, issue.3, pp.280-315, 1968.
DOI : 10.1016/0022-5193(68)90079-9

G. J. Mitchinson and M. Wilcox, Rule governing Cell Division in Anabaena, Nature, vol.13, issue.5367, pp.110-121, 1972.
DOI : 10.1038/239110a0

J. Munkres, Elements of Algebraic Topology, 1984.

J. Raoult and F. Voisin, Set-theoretic graph rewriting, Proceedings of the International Workshop on Graph Transformations in Computer Science, pp.312-325, 1994.
DOI : 10.1007/3-540-57787-4_20

URL : https://hal.archives-ouvertes.fr/inria-00074892

D. Rémy, Syntactic theories and the algebra of record terms, 78 153 Le Chesnay Cedex, 1992.

J. Saez-rodriguez, L. Simeoni, J. A. Lindquist, A. Hemenway, U. Bommhardt et al., A Logical Model Provides Insights into T Cell Receptor Signaling, PLoS Computational Biology, vol.284, issue.8, p.163, 2007.
DOI : 10.1371/journal.pcbi.0030163.st002

L. Sánchez, C. Chaouiya, and D. Thieffry, Segmenting the fly embryo: logical analysis of the role of the Segment Polarity cross-regulatory module, The International Journal of Developmental Biology, vol.52, issue.8, pp.1059-75, 2008.
DOI : 10.1387/ijdb.072439ls

A. Spicher, O. Michel, M. Cieslak, J. Giavitto, and P. Prusinkiewicz, Stochastic P systems and the simulation of biochemical processes with dynamic compartments, Biosystems, vol.91, issue.3, pp.91458-472, 2008.
DOI : 10.1016/j.biosystems.2006.12.009

URL : https://hal.archives-ouvertes.fr/hal-00645928

A. Spicher, O. Michel, and J. Giavitto, Declarative Mesh Subdivision Using Topological Rewriting in MGS, Int. Conf. on Graph Transformations (ICGT) 2010, pp.298-313, 2010.
DOI : 10.1007/978-3-642-15928-2_20

URL : https://hal.archives-ouvertes.fr/hal-00820206

A. Spicher, O. Michel, and J. Giavitto, Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology , chapter Interaction-Based Simulations for Integrative Spatial Systems Biology, 2011.

K. Takahashi, S. N. Arjunan, and M. Tomita, Space in systems biology of signaling pathways - towards intracellular molecular crowding in silico, FEBS Letters, vol.20, issue.8, pp.5791783-1788, 2005.
DOI : 10.1016/j.febslet.2005.01.072

R. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-85, 1973.
DOI : 10.1016/0022-5193(73)90247-6

R. Thomas, Regulatory networks seen as asynchronous automata: A logical description, Journal of Theoretical Biology, vol.153, issue.1, pp.1-23, 1991.
DOI : 10.1016/S0022-5193(05)80350-9

R. Thomas, D. Thieffry, and M. Kaufman, Dynamical behaviour of biological regulatory networks???I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.29, issue.2, pp.247-76, 1995.
DOI : 10.1007/BF02460618

E. Tonti, On the mathematical structure of a large class of physicial theories, pp.5248-56, 1972.

C. M. Vide, J. Pazos, G. Paun, and A. R. Patón, Tissue P systems, Theoretical Computer Science, vol.296, issue.2, pp.295-326, 2003.
DOI : 10.1016/S0304-3975(02)00659-X

M. Wilcox, G. J. Mitchison, and R. J. Smith, Pattern formation in the blue-green alga, Anabaena. I. Basic mechanisms, Journal of Cell Science, vol.12, pp.707-723, 1973.

P. Williams, Quorum sensing, communication and cross-kingdom signalling in the bacterial world, Microbiology, vol.153, issue.12, pp.3923-3938, 2007.
DOI : 10.1099/mic.0.2007/012856-0