Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins

Membrane systems were introduced as models of computation inspired by the structure and functioning of biological cells. Recently, membrane systems have also been shown to be suitable to model cellular processes. We introduce a new model called Membrane Systems with Peripheral and Integral Proteins. The model has compartments enclosed by membranes, floating objects, objects associated to the internal and external surfaces of the membranes and also objects integral to the membranes. The floating objects can be processed within the compartments and can interact with the objects associated to the membranes. The model can be used to represent cellular processes that involve compartments, surface and integral membrane proteins, transport and processing of chemical substances. As examples we model a circadian clock and the G-protein cycle in yeast saccharomyces cerevisiae and present a quantitative analysis using an implemented simulator.

[1]  L. Cardelli,et al.  Interactions of Biological Membranes , 2005 .

[2]  Gheorghe Paun,et al.  A guide to membrane computing , 2002, Theor. Comput. Sci..

[3]  Gheorghe Paun,et al.  Regulated Rewriting in Formal Language Theory , 1989 .

[4]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[5]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[6]  Arto Salomaa,et al.  Formal languages , 1973, Computer science classics.

[7]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

[8]  Grzegorz Rozenberg,et al.  Membrane Systems with Marked Membranes , 2007, Electron. Notes Theor. Comput. Sci..

[9]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[10]  S. Leibler,et al.  Mechanisms of noise-resistance in genetic oscillators , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[11]  H. Kitano,et al.  A quantitative characterization of the yeast heterotrimeric G protein cycle , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[12]  Florent Jacquemard,et al.  An Analysis of a Public Key Protocol with Membranes , 2005 .

[13]  Sean Sedwards,et al.  Membrane Systems with Peripheral Proteins: Transport and Evolution , 2007, Electron. Notes Theor. Comput. Sci..

[14]  A. Arkin,et al.  Stochastic mechanisms in gene expression. , 1997, Proceedings of the National Academy of Sciences of the United States of America.

[15]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

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

[17]  Carlos Martín-Vide,et al.  Membrane systems with carriers , 2002, Theor. Comput. Sci..

[18]  M. J. P. Jiménez,et al.  Modelling EGFR signalling cascade using continuous membrane systems , 2005 .

[19]  D. Gillespie A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .