A structured approach for the engineering of biochemical network models, illustrated for signalling pathways

Briefings in Bioinformatics

Volumn 9, Issue 5, 2008, Pages 404-421

  Breitling, Rainer ^b   Gilbert, David ^a   Heiner, Monika ^c   Orton, Richard ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

^c Distributed Systems/Operating Systems Group   (Germany)

Author keywords

Biochemical networks; Modelling; Ordinary differential equations; Petri nets; Signal transduction; Systems biology

Indexed keywords

ACCESS TO INFORMATION; ARTICLE; BIOENGINEERING; CHEMICAL ANALYSIS; CHEMICAL ENGINEERING; COMPUTER INTERFACE; COMPUTER LANGUAGE; COMPUTER PROGRAM; COMPUTER SIMULATION; ENZYME CONFORMATION; ENZYME ENGINEERING; ENZYME KINETICS; MATHEMATICAL COMPUTING; MICHAELIS MENTEN KINETICS; MOLECULAR DYNAMICS; MOLECULAR MODEL; NEGATIVE FEEDBACK; NETWORK LEARNING; POSITIVE FEEDBACK; PROTEIN DEPHOSPHORYLATION; PROTEIN ENGINEERING; PROTEIN PHOSPHORYLATION; QUALITATIVE ANALYSIS; QUANTITATIVE ANALYSIS; SIGNAL TRANSDUCTION;

ALGORITHMS; BIOCHEMISTRY; BIOMEDICAL ENGINEERING; COMPUTER SIMULATION; MODELS, BIOLOGICAL; PROGRAMMING LANGUAGES; PROTEOME; SIGNAL TRANSDUCTION; SOFTWARE;

EID: 49949085999     PISSN: 14675463     EISSN: 14774054     Source Type: Journal    
DOI: 10.1093/bib/bbn026     Document Type: Article

References (41)

1. Szallasi Z, Stelling J, Periwal V. System Modeling in Cellular Biology. From Concepts to Nuts and Bolts. Cambridge, MA: MIT Press, 2006.
2. Chaouiya C. Petri net modelling of biological networks. Brief Bioinform 2007;8:210-19.
3. Fisher J, Henzinger T. Executable cell biology. Nat Biotechnol 2007;25:1239-49.
4. Mendes P. GEPASI: A software package for modelling the dynamics, steady states and control of biochemical and other systems. Comput Applic Biosci 1993;9:563-71.
5. Gilbert D, Heiner M. From Petri nets to differential equations - an integrative approach for biochemical network analysis. In: Proceedings of the 27th ICATPN 2006, LNCS 4024. Heidelberg, Germany: Springer, 2006;181-200.
6. Cho K-H, Shin S-Y, Kim H-W, et al. Mathematical modeling of the influence of RKIP on the ERK signaling pathway. Lect Notes Comput Sci 2003;2602:127-41.
7. Orton R, Sturm O, Vyshemirsky V, et al. Computational modelling of the tyrosine receptor kinase activated MAPK pathway. Biochem J 2005;392:249-61.
8. Schoeberl B, Eichler-Jonsson C, Gilles E, et al. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nat Biotechnol 2002;20:370-5.
9. Kolch W, Calder M, Gilbert D. When kinases meet mathematics: The systems biology of MAPK signalling. FEBS Lett 2005;579:1891-5.
10. Breitling R, Hoeller D. Current challenges in quantitative modeling of epidermal growth factor signaling. FEBS Lett 2005;579 6289-94.
11. Wiley H.S, Shvartsman SY, Lauffenburger DA. Computational modeling of the EGF-receptor system: A paradigm for systems biology. Trends Cell Biol 2003;13: 43-50.
12. Huang C. Ferrell J. Ultrasensitivity in the mitogen-activated protein kinase cascade. Proc Natl Acad Sci USA 996;93: 10078-83.
13. Burack W, Sturgill T. The activating dual phosphorylation of MAPK by MEK is nonprocessive. Biochemistry 1997;36: 5929-33.
14. Kholodenko B, Demin O, Moehren G, Hoek J. Quantification of short term signaling by the epidermal growth factor receptor. J Biol Chem 1999;274:30169-81.
15. Brightman F, Fell D. Differential feedback regulation of the MAPK cascade underlies the quantitative differences in EGF and NGF signalling in PC12 cells. FEBS Lett 2003; 482:169-74.
16. Ihekwaba A, Broomhead D, Grimley R, et al. Sensitivity analysis of parameters controlling oscillatory signalling in the NF-kappaB pathway: the roles of IKK and IkappaBalpha. Syst Biol (Stevenage) 2004;1 93-103.
17. Levchenko A, Bruck J, Sternberg P. Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. Proc Natl Acad Sci USA 2000;97 5818-23.
18. Kholodenko B. Negative feedback and ultrasensitivity can bring about oscillations in the mitogen-activated protein kinase cascades. Eur J Biochem 2000;267:1583-88.
19. Brown K, Hill C, Calero G, et al. The statistical mechanics of complex signaling networks: Nerve growth factor signaling. Phys Biol 2004;1:184-95.
20. Yamada S, Taketomi T, Yoshimura A. Model analysis of difference between EGF pathway and FGF pathway. Biochem Biophys Res Commun 2003; 314:1113-20.
21. Clarke E, Grumberg O, Peled D. Model checking. Cambridge, MA: MIT Press 1999, third printing, 2001.
22. Schröter C, Schwoon S, Esparza J. The model checking kit. In: Proceeding of ICATPN 2007, LNCS 2679. Heidelberg, Germany: Springer, 2003;463-72.
23. Starke P, Roch S. Ina - The Intergrated Net Analyzer. Technical report. Berlin, Germany: Humboldt University Berlin. http://www.informatik.hu-berlin.de/~starke/ina.html (May 2008, date last accessed).
24. Charlie Website. A Tool for the Analysis of Place/Transition Nets. BTU Cottbus. http://www-dssz.informatik.tu-cottbus.de/software/charlie/ charlie.html (May 2008, date last accessed).
25. Gilbert D, Heiner M, Lehrack S. A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Proceeding of CMSB 2007, LNCS/LNBI 4695. Heidelberg, Germany: Springer, 2007;200-16.
26. Murata T. Petri nets: Properties, analysis and applications. In: Proceeding of IEEE 1989;77:541-80.
27. Palsson BO. Systems Biology, Properties of Reconstructed Networks. Cambridge, UK: Cambridge University Press, 2006.
28. Angeli D, De Leenheer P, Sontag E. A Petri net approach to persistence analysis in chemical reaction networks. In: Queinnec I, Tarbouriech S, Garcia G, Niculescu S-I, (eds). Biology and Control Theory: Current Challenges, Lecture Notes in Control and Information Sciences. Heidelberg, Germany: Springer, 2007;181-216.
29. Calzone L, Chabrier-Rivier N, Fages F, et al. Machine learning biochemical networks from temporal logic properties. In: Transaction on Compuatational System Biology VI, LNCS 4220. Heidelberg, Germany: Springer, 2006.
30. MC2 Website. MC2 - PLTL Model Checker. University of Glasgow. http://www.brc.dcs.gla.ac.uk/software/mc2/2008 (May 2008, date last accessed).
31. Glendinning P. Stability, Instability, and Chaos: An Introduction to the Theory of Nonlinear Differential Equations. Cambridge, UK: Cambridge University Press, 1994.
32. Heinrich k, Schuster S. The Regulation of Cellular Systems. Heidelberg, Germany: Springer, 1996.
33. Alves R, Antunes F, Salvador S. Tools for kinetic modeling of biochemical networks. Nat Biotechnol 2006;24: 667-72.
34. Hucka M, Finney A, Sauro HM, et al. The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 2003;19:524-31.
35. BioNessie. A biochemical pathway simulation and analysis tool. University of Glasgow. www.bionessie.org (May 2008, date last accessed).
36. Hoops S, Sahle S, Gauges R, et al. COPASI - a complex pathway simulator. Bioinformatics 2006;22:3067-74.
37. Shampine LF, Reichelt MW. The MATLAB ODE suite. SIAM J Sci Comput 1997;18:1-22.
38. Bergmann FT, Sauro HM. SBW - a modular framework for systems biology. In: Perrone LF, Lawson B, Liu J, Wieland FP, (eds). In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, 2006. WSC, 2006; 1637-1645.
39. Sedwards S, Mazza T. Cyto-Sim: A formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinformatics 2007;23:2800-2.
40. Ermentrout B. Simulating, Analyzing, and Animating Dynamical Systems: a Guide to Xppaut for Researchers and Students (Software, Environments, Tools). Philadelphia, PA: SIAM, 2002.
41. Snoopy. A Tool to Design and Animate Hierarchical Graphs. BTU Cottbus, CS Dep. www-dssz.informatik.tu-cottbus.de (May 2008, date last accessed).