Modelling gene expression control using P systems: The Lac Operon, a case study

In this paper P systems are used as a formal framework for the specification and simulation of biological systems. In particular, we will deal with gene regulation systems consisting of protein-protein and protein-DNA interactions that take place in different compartments of the hierarchical structure of the living cell or in different individual cells from a colony. We will explicitly model transcription and translation as concurrent and discrete processes using rewriting rules on multisets of objects and strings. Our approach takes into account the discrete character of the components of the system, its random behaviour and the key role played by membranes in processes involving signalling at the cell surface and selective uptake of substances from the environment. Our systems will evolve according to an extension of Gillespie's algorithm, called Multicompartmental Gillespie's Algorithm. The well known gene regulation system in the Lac Operon in Escherichia coli will be modelled as a case study to benchmark our approach.

[1]  J. Keasling,et al.  Mathematical Model of the lac Operon: Inducer Exclusion, Catabolite Repression, and Diauxic Growth on Glucose and Lactose , 1997, Biotechnology progress.

[2]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[3]  Vincenzo Manca,et al.  P Systems and the Modeling of Biochemical Oscillations , 2005, Workshop on Membrane Computing.

[4]  Gheorghe Paun,et al.  Applications of Membrane Computing (Natural Computing Series) , 2005 .

[5]  C. Lumsden,et al.  Stochastic Simulation of Coupled Reaction-Diffusion Processes , 1996 .

[6]  H. Westerhoff,et al.  Understanding Glucose Transport by the Bacterial Phosphoenolpyruvate:Glycose Phosphotransferase System on the Basis of Kinetic Measurements in Vitro * , 2000, The Journal of Biological Chemistry.

[7]  R. E. Huber,et al.  The Action of β-Galactosidase (Escherichia coli) on Allolactose , 1975 .

[8]  D. Gillespie.  Approximate accelerated stochastic simulation of chemically reacting systems , 2001 .

[9]  Oscar H. Ibarra,et al.  Simulating FAS-induced apoptosis by using P systems , 2007 .

[10]  Mario J. Pérez-Jiménez,et al.  P Systems, a New Computational Modelling Tool for Systems Biology , 2006, Trans. Comp. Sys. Biology.

[11]  Giancarlo Mauri,et al.  Dynamical probabilistic P systems , 2006, Int. J. Found. Comput. Sci..

[12]  Linda R. Petzold,et al.  Improved leap-size selection for accelerated stochastic simulation , 2003 .

[13]  Vincenzo Manca,et al.  P Systems with Boundary Rules , 2002, WMC-CdeA.

[14]  M. Ptashne,et al.  Genes and Signals , 2001 .

[15]  A. Kierzek,et al.  The Effect of Transcription and Translation Initiation Frequencies on the Stochastic Fluctuations in Prokaryotic Gene Expression* , 2001, The Journal of Biological Chemistry.

[16]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[17]  R. E. Huber,et al.  The action of beta-galactosidase (Escherichia coli) on allolactose. , 1975, Canadian journal of biochemistry.

[18]  Pawan Dhar,et al.  Modeling and simulation of biological systems with stochasticity , 2004, Silico Biol..

[19]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[20]  Mario J. Pérez-Jiménez,et al.  A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems , 2008, Artificial Life.

[21]  H. Riezman,et al.  Transcription and translation initiation frequencies of the Escherichia coli lac operon. , 1977, Journal of molecular biology.

[22]  M. Ptashne.  A Genetic Switch , 1986 .

[23]  H. Kaback,et al.  Kinetic analysis of lactose exchange in proteoliposomes reconstituted with purified lac permease. , 1991, Biochemistry.