Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins

  • Matteo Cavaliere
  • Sean Sedwards
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4210)


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.


Circadian Clock Membrane System Evolution Rule Integral Protein Empty String 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 4th edn., p. 593. Garland Science (2002)Google Scholar
  2. 2.
    Brijder, R., Cavaliere, M., Riscos-Núñez, A., Rozenberg, G., Sburlan, D.: Membrane Systems with Marked Membranes. Electronic Notes in Theoretical Computer Science (to appear)Google Scholar
  3. 3.
    Cardelli, L., Calculi, B.: Interactions of Biological Membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Cavaliere, M., Sedwards, S.: Membrane Systems with Peripheral Proteins: Transport and Evolution. Electronic Notes in Theoretical Computer Science (to appear)Google Scholar
  5. 5.
    Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Berlin (2006)Google Scholar
  6. 6.
    Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)Google Scholar
  7. 7.
    Gillespie, D.T.: A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. Journal of Computational Physics 22 (1976)Google Scholar
  8. 8.
    Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)MATHGoogle Scholar
  9. 9.
    Yi, T.-M., Kitano, H., Simon, M.I.: A quantitative characterization of the yeast heterotrimeric G protein cycle. Proceedings of the National Academy of Science 100, 19 (2003)Google Scholar
  10. 10.
    Pérez-Jiménez, M.J., Romero-Campero, F.J.: Modelling EGFR signalling network using continuous membrane systems. In: Proceedings of the Third Workshop on Computational Method in Systems Biology, Edinburgh (2005)Google Scholar
  11. 11.
    McAdams, H., Arkin, A.: Stochastic mechanisms in gene expression. Proceedings of the National Academy of Science 94 (1997)Google Scholar
  12. 12.
    Păun, G., Rozenberg, G.: A Guide to Membrane Computing. Theoretical Computer Science, 287–291 (2002)Google Scholar
  13. 13.
    Regev, A., Silverman, W., Barkai, N., Shapiro, E.: Computer Simulation of Biomolecular Processes using Stochastic Process Algebra. In: Poster at 8th International Conference on Intelligent Systems for Molecular Biology, ISMB (2000)Google Scholar
  14. 14.
    Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Berlin (1997)MATHGoogle Scholar
  15. 15.
    Salomaa, A.: Formal Languages. Academic Press, New York (1973)MATHGoogle Scholar
  16. 16.
    Vilar, M.G., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise-resistance in genetic oscillators. Proceedings of the National Academy of Science 99, 9 (2002)CrossRefGoogle Scholar
  17. 17.
  18. 18.
  19. 19.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Matteo Cavaliere
    • 1
  • Sean Sedwards
    • 1
  1. 1.Centre for Computational and Systems BiologyMicrosoft Research – University of TrentoTrentoItaly

Personalised recommendations