zbMATH — the first resource for mathematics

Refining dynamics of gene regulatory networks in a stochastic \(\pi\)-calculus framework. (English) Zbl 1326.92027
Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XIII. Berlin: Springer (ISBN 978-3-642-19747-5/pbk). Lecture Notes in Computer Science 6575. Lecture Notes in Bioinformatics. Journal Subline, 171-191 (2011).
Summary: In this paper, we introduce a framework allowing to model and analyse efficiently Gene Regulatory Networks (GRNs) in their temporal and stochastic aspects. The analysis of stable states and inference of René Thomas’ discrete parameters derives from this logical formalism. We offer a compositional approach which comes with a natural translation to the Stochastic \(\pi \)-Calculus. The method we propose consists in successive refinements of generalised dynamics of GRNs. We illustrate the merits and scalability of our framework on the control of the differentiation in a GRN generalising metazoan segmentation processes, and on the analysis of stable states within a large GRN studied in the scope of breast cancer researches.
For the entire collection see [Zbl 1214.92032].

92C42 Systems biology, networks
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C50 Medical applications (general)
Full Text: DOI
[1] Richard, A., Comet, J.P., Bernot, G.: Formal Methods for Modeling Biological Regulatory Networks. In: Modern Formal Methods and Applications, pp. 83–122 (2006) · doi:10.1007/1-4020-4223-X_5
[2] Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-Based Modelling of Cellular Signalling. In: Caires, L., Li, L. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17–41. Springer, Heidelberg (2007) · Zbl 1151.68723 · doi:10.1007/978-3-540-74407-8_3
[3] Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1), 25–31 (2001) · Zbl 0997.92018 · doi:10.1016/S0020-0190(01)00214-9
[4] Kuttler, C., Niehren, J.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 24–55. Springer, Heidelberg (2006) · Zbl 05282616 · doi:10.1007/11905455_2
[5] Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. In: Priami, C., Cardelli, L., Emmott, S. (eds.) Transactions on Computational Systems Biology IV. LNCS (LNBI), vol. 3939, pp. 99–122. Springer, Heidelberg (2006) · Zbl 1179.92021 · doi:10.1007/11732488_10
[6] Popova-Zeugmann, L., Heiner, M., Koch, I.: Time petri nets for modelling and analysis of biochemical networks. Fundamenta Informaticae 67(1), 149–162 (2005) · Zbl 1096.68110
[7] Heiner, M., Gilbert, D., Donaldson, R.: Petri Nets for Systems and Synthetic Biology. In: Formal Methods for Computational Systems Biology, pp. 215–264 (2008) · Zbl 05286109 · doi:10.1007/978-3-540-68894-5_7
[8] Rizk, A., Batt, G., Fages, F., Soliman, S.: On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. In: Computational Methods in Systems Biology, pp. 251–268 (2008) · Zbl 05351404 · doi:10.1007/978-3-540-88562-7_19
[9] Siebert, H., Bockmayr, A.: Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. In: Computational Methods in Systems Biology, pp. 169–183 (2006) · Zbl 05282324 · doi:10.1007/11885191_12
[10] Alur, R., Belta, C., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Modeling and analyzing biomolecular networks. Computing in Science and Engineering 4(1), 20–31 (2002) · Zbl 05091628 · doi:10.1109/5992.976434
[11] Ahmad, J., Bernot, G., Comet, J.P., Lime, D., Roux, O.: Hybrid modelling and dynamical analysis of gene regulatory networks with delays. Complexus 3(4), 231–251 (2006) · doi:10.1159/000110010
[12] Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 184–199. Springer, Heidelberg (2007) · Zbl 05282354 · doi:10.1007/978-3-540-75140-3_13
[13] Dematte, L., Priami, C., Romanel, A.: The Beta Workbench: a computational tool to study the dynamics of biological systems. Brief Bioinform., bbn023 (2008) · doi:10.1093/bib/bbn023
[14] Ciocchetta, F., Hillston, J.: Bio-pepa: A framework for the modelling and analysis of biological systems. Theoretical Computer Science 410(33-34), 3065–3084 (2009) · Zbl 1173.68041 · doi:10.1016/j.tcs.2009.02.037
[15] Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006) · doi:10.1007/11691372_29
[16] Norman, G., Palamidessi, C., Parker, D., Wu, P.: Model checking probabilistic and stochastic extensions of the \(\pi\)-calculus. IEEE Transactions on Software Engineering 35(2), 209–223 (2009) · doi:10.1109/TSE.2008.77
[17] Bernot, G., Cassez, F., Comet, J.P., Delaplace, F., Müller, C., Roux, O.: Semantics of biological regulatory networks. Electronic Notes in Theoretical Computer Science 180(3), 3–14 (2007) · doi:10.1016/j.entcs.2004.01.038
[18] Milner, R.: A calculus of mobile processes, parts. I and II. Information and Computation 100, 1–77 (1992) · Zbl 0752.68036 · doi:10.1016/0890-5401(92)90008-4
[19] Bernot, G., Comet, J.P., Khalis, Z.: Gene regulatory networks with multiplexes. In: European Simulation and Modelling Conference Proceedings, pp. 423–432 (October 2008)
[20] Priami, C.: Stochastic \(\pi\)-Calculus. The Computer Journal 38(7), 578–589 (1995) · Zbl 05478217 · doi:10.1093/comjnl/38.7.578
[21] Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340–2361 (1977) · doi:10.1021/j100540a008
[22] Priami, C.: Stochastic \(\pi\)-calculus with general distributions. In: Proc. of the 4th Workshop on Process Algebras and Performance Modelling, CLUT, pp. 41–57 (1996)
[23] Francois, P., Hakim, V., Siggia, E.D.: Deriving structure from evolution: metazoan segmentation. Mol. Syst. Biol. 3 (2007) · doi:10.1038/msb4100192
[24] Phillips, A.: SPiM, http://research.microsoft.com/ aphillip/spim
[25] Sahin, O., Frohlich, H., Lobke, C., Korf, U., Burmester, S., Majety, M., Mattern, J., Schupp, I., Chaouiya, C., Thieffry, D., Poustka, A., Wiemann, S., Beissbarth, T., Arlt, D.: Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance. BMC Systems Biology 3(1) (2009) · doi:10.1186/1752-0509-3-1
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.