An Approach to the Engineering of Cellular Models Based on P Systems

Abstract

Living cells assembled into colonies or tissues communicate using complex systems. These systems consist in the interaction between many molecular species distributed over many compartments. Among the different cellular processes used by cells to monitor their environment and respond accordingly, gene regulatory networks, rather than individual genes, are responsible for the information processing and orchestration of the appropriate response [16]. In this respect, synthetic biology has emerged recently as a novel discipline aiming at unravelling the design principles in gene regulatory systems by synthetically engineering transcriptional networks which perform a specific and prefixed task [2]. Formal modelling and analysis are key methodologies used in the field to engineer, assess and compare different genetic designs or devices. In order to model cellular systems in colonies or tissues one requires a formalism able to represent the following relevant features: – Single cells should be described as the elementary units in the system. Nevertheless, they cannot be represented as homogeneous points as they exhibit complex structures containing different compartments where specific molecular species interact according to particular reactions. – The molecular interactions taking place in cellular systems are inherently discrete and stochastic processes. This is a key feature of cellular systems that needs to be taken into account when describing their dynamics [9]. – It has been postulated that gene regulatory networks are organised in a modular manner in such a way that cellular processes arise from the orchestrated interactions between different genetic transcriptional units that can be considered separable modules [1]. – Spatial and geometric information must be represented in the system in order to describe processes involving pattern formation. In this work we review recent advances in the use of the computational paradigm membrane computing or P systems as a formal methodology in synthetic biology for the specification and analysis on cellular system models according to the previously presented points.