zbMATH — the first resource for mathematics

Modelling of biochemical reactions by stochastic automata networks. (English) Zbl 1277.68215
Busi, Nadia (ed.) et al., Proceedings of the first workshop on membrane computing and biologically inspired process calculi (MeCBIC 2006), S. Servolo, Venice, Italy, July 9, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 2, 197-208 (2007).
Summary: This paper presents a stochastic modelling framework based on stochastic automata networks (SANs) for the analysis of complex biochemical reaction networks. Our approach takes into account the discrete character of quantities of components (i.e., the individual populations of the involved chemical species) and the inherent probabilistic nature of microscopic molecular collisions. Moreover, as for process calculi that have recently been applied to systems in biology, the SAN approach has the advantage of a modular design process being adequate for abstraction purposes. The associated composition operator leads to an elegant and compact representation of the underlying continuous-time Markov chain in form of a Kronecker product. SANs have been extensively used in performance analysis of computer systems and a large variety of numerical and simulative analysis algorithms exist. We illustrate that describing a biochemical reaction network by means of a SAN offers promising opportunities to get insight into the quantitative behaviour of systems in biology while taking advantage of the benefits of a compositional modelling approach.
For the entire collection see [Zbl 1273.68017].

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q45 Formal languages and automata
68Q87 Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
92C40 Biochemistry, molecular biology
Full Text: DOI
[1] A. Benoit, P. Fernandes, B. Plateau, and W. Stewart. The PEPS Software Tool. In 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation TOOLS 2003, pages 98-115, Urbana, Illinois, USA, 2003
[2] Blossey, R.; Cardelli, L.; Phillips, A., A compositional approach to the stochastic dynamics of gene networks, (), 99-122 · Zbl 1179.92021
[3] Bower, J.M.; Bolouri, H., Computational modeling of genetic and biochemical networks, (2001), The MI Press
[4] Bremaud, P., Markov chains, (1998), Springer
[5] Buchholz, P.; Kemper, P., A toolbox for the analysis of discrete event dynamic systems, (), 483-486 · Zbl 1046.93509
[6] M. Calder, S. Gilmore, and J. Hillston. Automatically deriving odes from process algebra models of signalling pathways. In Proceedings of Third International Workshop on Computational Methods in Systems Biology, pages 204-215. University of Edinburgh, 2005
[7] M. Calder, S. Gilmore, and J. Hillston. Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra pepa. Transactions on Computational Systems Biology, 2006. to appear.
[8] Ciardo, G.; Miner, A., A data structure for the efficient Kronecker solution of gspns, (), 22
[9] G. Ciardo and A. Miner. SMART: The stochastic model checking analyzer for reliability and timing. In Proceedings of the 1st International Conference on Quantitative Evaluation of Systems, pages 338-339, 2004
[10] Cox, D.; Miller, H., The theory of stochastic processes, (1965), Chapman and Hall · Zbl 0149.12902
[11] Danos, V.; Laneve, C., Formal molecular biology, Theoretical computer science, 325, 1, 69-110, (2004) · Zbl 1071.68041
[12] P. Fernandes, B. Plateau, and W.J. Stewart. Numerical evaluation of stochastic automata networks. In Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, pages 179-183, 1995
[13] Gillespie, D.T., A general method for numerically simulating the time evolution of coupled chemical reactions, Journal of computational physics, 22, 403-434, (1976)
[14] Gillespie, D.T., Exact stochastic simulation of coupled chemical reactions, Journal of physical chemistry, 81, 25, 2340-2361, (1977)
[15] Gillespie, D.T., Markov processes, (1992), Academic Press
[16] P. Goss and J. Peccoud, Quantitative modeling of stochastic systems in molecular biology by using stochastic petri nets. In Proceedings of the National Academy of Science USA, pages 6750-6755, 1998
[17] M. Heiner and I. Koch. Petri net based model validation in systems biology. In Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, pages 216-237, 2004 · Zbl 1094.68584
[18] R. Hofestädt and S. Thelen. Quantitative modeling of biochemical networks. In Silico Biology, 1:6, 1998
[19] Nguyen, V.; Mathias, R.; Smith, G., A stochastic automata network descriptor for Markov chain models of instantaneously coupled intracellular ca^{2+} channels, Bulletin of mathematical biology, 67, 3, 393-432, (2005) · Zbl 1334.92144
[20] Phillips, A.; Cardelli, L., A correct abstract machine for the stochastic pi-calculus, ()
[21] B. Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms. In Proceedings of the Sigmetrics Conference on Measurement and Modeling of Computer Systems, pages 147-154, 1985
[22] 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
[23] A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the pi-calculus process algebra. In Pacific Symposium on Biocomputing, pages 459-470, 2001
[24] Stewart, W., Introduction to the numerical solution of Markov chains, (1995), Princeton University Press
[25] Turner, T.; Schnell, S.; Burrage, K., Stochastic approaches for modelling in vivo reactions, Computational biology and chemistry, 28, 3, 165-178, (2004) · Zbl 1087.92035
[26] Wolkenhauer, O.; Ullah, M.; Kolch, W.; Cho, K., Modeling and simulation of intracellular dynamics: choosing an appropriate framework, IEEE transactions on nanobioscience, 3, 3, 200-207, (2004)
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.