License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-19907
URL: http://drops.dagstuhl.de/opus/volltexte/2009/1990/
Go to the corresponding Portal


Versari, Cristian

Stochastic modelling of cellular growth and division by means of the pi@ calculus

pdf-format:
Document 1.pdf (220 KB)


Abstract

The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this paper we discuss the application to the biological modelling of pi@, a core calculus for the representation of biological systems. The pi@ language represents a keystone in this respect, thanks to its expressiveness capabilities which allow the modelling of a wide variety of phenomena (e.g. simple chemical reactions, but also formation of molecular or protein complexes, organisation of complex system in dynamical compartment hierarchies) despite of its simplicity and conservativeness. Here we analyse a biological case study involving cellular growth and division, modelled in the stochastic variant of pi@: the case study is formalised and stochastically simulated according to a multi-compartment extension of Gillespie's stochastic simulation algorithm. The results underline the usefulness of the modelling approach adopted in pi@ for the correct handling of systems with variable volume.

BibTeX - Entry

@InProceedings{versari:DSP:2009:1990,
  author =	{Cristian Versari},
  title =	{Stochastic modelling of cellular growth and division by means of the pi@ calculus},
  booktitle =	{Formal Methods in Molecular Biology},
  year =	{2009},
  editor =	{Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
  number =	{09091},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/1990},
  annote =	{Keywords: Process algebra, pi-calculus, simulation, stochastic}
}

Keywords: Process algebra, pi-calculus, simulation, stochastic
Seminar: 09091 - Formal Methods in Molecular Biology
Issue Date: 2009
Date of publication: 05.05.2009


DROPS-Home | Fulltext Search | Imprint Published by LZI