Abstract
We propose a compositional approach to the dynamics of gene regu-latory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can be used to build complex circuits in a transparent and efficient way. To demonstrate the power of the approach we apply it to several artificial networks, such as the repressilator and combinatorial gene circuits first studied in Combinatorial Synthesis of Genetic Networks [1]. For two examples of the latter systems, we point out how the topology of the circuits and the interplay of the stochastic gate interactions influence the circuit behavior. Our approach may be useful for the testing of biological mechanisms proposed to explain the experimentally observed circuit dynamics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Guet, C.C., Elowitz, M.B., Hsing, W., Leibler, S.: Combinatorial synthesis of genetic networks. Science 296, 1466–1470 (2002)
Thattai, M., van Oudenaarden, A.: Intrinsic noise in gene regulatory networks. Proc. Nat. Acad. Sci. 98, 8614–8619 (2001)
Paulsson, J., Berg, O.G., Ehrenberg, M.: Stochastic Focusing: fluctuationenhanced sensitivity of intracellular regulation. Proc. Nat. Acad. Sci. 97, 7148–7153 (2000)
Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)
Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of stochastic process algebras to bioinformatics of molecular processes. Information Processing Letters 80, 25–31 (2001)
Regev, A.: Computational Systems Biology: A Calculus for Biomolecular knowledge. Ph.D. Thesis, Tel Aviv University (2002)
Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature 419, 343 (2002)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An abstraction for biological compartments. Theoretical Computer Science 325(1), 141–167 (2004)
Cardelli, L.: Brane Calculi - Interactions of Biological Membranes. Computational Methods in Systems Biology, pp. 257–278. Springer, Heidelberg (2004)
Chiarugi, D., Curti, M., Degano, P., Marangoni, R.: VICE: A vIrtual cEll. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 207–220. Springer, Heidelberg (2005)
Kuttler, C., Niehren, J.: Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch. Transactions on Computational Systems Biology (2005) (to appear)
Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403, 335–338 (2000)
Philips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Picalculus. In: Proc. BioConcur 2004 (2005)
Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. J. Chem. Phys. 81, 2340–2361 (1977)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Guet, C.C.: Personal communication
Wigler, M., Mishra, B.: Wild by nature. Science 296, 1407–1408 (2002)
Mao, L., Resat, H.: Probabilistic representation of gene regulatory networks. Bioinformatics 20, 2258–2269 (2004)
Ronen, M., Rosenberg, R., Shraiman, B.I., Alon, U.: Assigning numbers to the arrows: Parameterizing a gene regulation network by using accurate expression kinetics. Proc. Nat. Acad. Sci. 99, 10555–10560 (2002)
Brenner, S.: Loose Ends. Curr. Biology 5, 332 (1995)
Bray, D.: Reasoning for Results. Nature 412, 863 (2001)
Lazebnik, Y.: Can a biologist fix a radio? Or, what I learned while studying apoptosis. Cancer Cell 2, 179–182 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blossey, R., Cardelli, L., Phillips, A. (2006). A Compositional Approach to the Stochastic Dynamics of Gene Networks. In: Priami, C., Cardelli, L., Emmott, S. (eds) Transactions on Computational Systems Biology IV. Lecture Notes in Computer Science(), vol 3939. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11732488_10
Download citation
DOI: https://doi.org/10.1007/11732488_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33245-9
Online ISBN: 978-3-540-33248-0
eBook Packages: Computer ScienceComputer Science (R0)