×

Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration. (English) Zbl 1283.68238

Krivine, Jean (ed.) et al., Proceedings of the 1st international workshop on interactions between computer science and biology (CS2Bio’10), Amsterdam, The Netherlands, June 10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 268, 49-59 (2010).
Summary: We present the derivation of a CTMC with levels model of diffusion in cylindrical coordinates from the partial differential equation for Fick’s law. The resulting model abstracts both molar concentration, by discrete levels, and spatial location, by discrete compartments. We apply the results to the diffusion of nitric oxide in human vessels and illustrate with simulations in the PRISM tool.
For the entire collection see [Zbl 1281.68031].

MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C40 Biochemistry, molecular biology
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Copasi web site (2010). URL http://www.copasi.org/tiki-index.php.; Copasi web site (2010). URL http://www.copasi.org/tiki-index.php.
[2] FlexPDE web site (2010). URL http://www.pdesolutions.com/.; FlexPDE web site (2010). URL http://www.pdesolutions.com/.
[3] PRISM web site (2010). URL http://www.prismmodelchecker.org/.; PRISM web site (2010). URL http://www.prismmodelchecker.org/.
[4] Berg, H. C., Random Walks in Biology (1993), Princeton University Press
[5] Blinov, M. L.; Faeder, J. R.; Goldstein, B.; Hlavacek, W. S., BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, 20, 3289-3291 (2004)
[6] Bortolussi, L., Stochastic concurrent constraint programming, Electronic Notes in Theoretical Computer Science, 164, 65-80 (2006)
[7] Calder, M.; Gilmore, S.; Hillston, J., Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA, (Lecture Notes in Computer Science, 4230 (2006)), 1-23
[8] Calzone, L.; Fages, F.; Soliman, S., Biocham: An environment for modelling biological systems and formalizing experimental knowledge, Bioinformatics, 22, 1805-1807 (2006)
[9] Ciocchetta, F.; Degasperi, A.; Hillston, J.; Calder, M., Some investigations concerning the CTMC and the ODE model derived from bio-pepa, ENTCS, 229, 145-163 (2009) · Zbl 1283.92036
[10] Ciocchetta, F.; Guerriero, M. L., Modelling biological compartments in bio-pepa, Electr. Notes Theor. Comput. Sci., 227, 77-95 (2009) · Zbl 1348.92069
[11] Ciocchetta, F.; Hillston, J., Bio-PEPA: A framework for the modelling and analysis of biological systems, Theoretical Computer Science, 410, 3065-3084 (2009) · Zbl 1173.68041
[12] Danos, V.; Feret, J.; Fontana, W.; Harmer, R.; Krivine, J., Rule-based modelling of cellular signalling, (Lecture Notes in Computer Science (2007)), 17-41 · Zbl 1151.68723
[13] Degasperi, A. and M. Calder, On the formalisation of gradient diffusion models of biological systems, PASTA Workshop 2009 (2009). URL http://www.dcs.gla.ac.uk/ andrea/files/DegasperiCalder_Bio-PASTA2009.pdf.; Degasperi, A. and M. Calder, On the formalisation of gradient diffusion models of biological systems, PASTA Workshop 2009 (2009). URL http://www.dcs.gla.ac.uk/ andrea/files/DegasperiCalder_Bio-PASTA2009.pdf. · Zbl 1293.68204
[14] Erban, R., J. Chapman and P. Maini, A practical guide to stochastic simulations of reaction-diffusion processes, ArXiv e-prints (2007), pp. 1-35.; Erban, R., J. Chapman and P. Maini, A practical guide to stochastic simulations of reaction-diffusion processes, ArXiv e-prints (2007), pp. 1-35.
[15] Hillston, J., A Compositional Approach to Performance Modelling (1996), Cambridge University Press
[16] Jones, D. S.; Sleeman, B. D., Differential Equations and Mathematical Biology (1983), George Allen & Unwin Ltd · Zbl 0504.92002
[17] Lamkin-Kennard, K. A.; Buerk, D. G.; Jaron, D., Interactions between NO and O2 in the microcirculation: a mathematical analysis, Microvascular Research, 68, 38-50 (2004)
[18] Pedersen, M.; Plotkin, G., A language for biochemical systems, (Lecture Notes in Bioinformatics, 5307 (2008)), 63-82
[19] Priami, C.; Quaglia, P., Beta-binders for biological interactions, (LNCS, 3082 (2005)), 20-33 · Zbl 1088.68646
[20] Tsoukias, N. M., Nitric oxide bioavailability in the microcirculation: Insights from mathematical models, Microcirculation, 15, 813-834 (2008)
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.