An introduction to BioModel engineering, illustrated for signal transduction pathways

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5391 LNCS, Issue , 2009, Pages 13-28

  Gilbert, David ^a   Breitling, Rainer ^b   Heiner, Monika ^c   Donaldson, Robin ^d  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

^c BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^d UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS; BIOLOGICAL SYSTEMS; CELL MEMBRANES; INTEGRAL EQUATIONS; PARAMETER ESTIMATION; SIGNAL TRANSDUCTION; SOFTWARE ENGINEERING;

COMPUTATIONAL MODELS; COMPUTING SCIENCE; DYNAMIC SYSTEMS; INITIAL STATE; INTRACELLULAR SIGNALLING; KINETIC EQUATIONS; PARAMETER FITTINGS; PIECE WISE; QUANTITATIVE MODELS; RATE PARAMETERS; SIGNAL TRANSDUCTION PATHWAYS;

MODELS;

EID: 60349092483     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-95885-7_2     Document Type: Conference Paper

References (22)

1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying Continuous-Time Markov Chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269-276. Springer, Heidelberg (1996)
2. Baier, C.: On Algorithmic Verification Methods for Probabilistic Systems. Habilitation thesis, University of Mannheim (1998)
3. Brightman, F.A., Fell, D.A.: Differential feedback regulation of the mapk cascade underlies the quantitative differences in egf and ngf signalling in pc12 cells. FEBS Lett. 482, 169-174 (2000)
4. Breitling, R., Gilbert, D., Heiner, M., Orton, R.J.: A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Briefings in Bioinformatics 9(5), 404-421 (2008)
5. Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 149-162. Springer, Heidelberg (2003)
6. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999) (third printing, 2001)
7. Cho, K.-H., Shin, S.-Y., Kim, H.-W., Wolkenhauer, O., McFerran, B., Kolch, W.: Mathematical modeling of the influence of RKIP on the ERK signaling pathway. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 127-141. Springer, Heidelberg (2003)
8. Donaldson, R., Gilbert, D.: A model checking approach to the parameter estimation of biochemical pathways. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 269-287. Springer, Heidelberg (2008)
9. Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 48-63. Springer, Heidelberg (2007)
10. Gilbert, D., Heiner, M.: From petri nets to differential equations - an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 181-200. Springer, Heidelberg (2006)
11. Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 200-216. Springer, Heidelberg (2007)
12. Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215-264. Springer, Heidelberg (2008)
13. Hansson, H., Jonsson, B.: A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing 6(5), 512-535 (1994)
14. Kolch, W., Calder, M., Gilbert, D.: When kinases meet mathematics: the systems biology of MAPK signalling. FEBS Lett. 579, 1891-1895 (2005)
15. Levchenko, A., Bruck, J., Sternberg, P.W.: Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. Proc. Natl. Acad. Sci. USA 97(11), 5818-5823 (2000)
16. Merz, S.: Model checking: A tutorial overview. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 3-38. Springer, Heidelberg (2001)
17. Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S.: Towards biopathway modeling and simulation. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 3-22. Springer, Heidelberg (2003)
18. Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541-580 (1989)
19. Orton, R., Sturm, O.E., Gormand, A., Kolch, W., Gilbert, D.: Computational modelling reveals feedback redundancy within the epidermal growth factor receptor/extracellular-signal regulated kinase signalling pathway. Systems Biology 2, 173-183 (2008)
20. Pnueli, A.: The Temporal Semantics of Concurrent Programs. Theor. Comput. Sci. 13, 45-60 (1981)
21. Popova-Zeugmann, L., Heiner, M., Koch, I.: Time Petri Nets for Modelling and Analysis of Biochemical Networks. Fundamenta Informaticae 67, 149-162 (2005)
22. Schoeberl, B., Eichler-Jonsson, C., Gilles, E.D., Muller, G.: Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology 20, 370-375 (2002)