Modelling and analysis of the NF-κB pathway in Bio-PEPA

Dagstuhl Seminar Proceedings

Volumn 9091, Issue , 2009, Pages

  Ciocchetta, Federica ^a   Degasperi, Andrea ^b   Heath, John ^c   Hillston, Jane ^a,d  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF GLASGOW   (United Kingdom)

^c UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^d Centre for Systems Biology at Edinburgh CSBE   (United Kingdom)

Author keywords

analysis; modelling; NF B pathway; Process algebras

Indexed keywords

STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

ANALYSE; BIO-PEPA; BIOCHEMICAL SPECIES; EXTERNAL STIMULUS; MODELING; MODELLING AND ANALYSIS; NUCLEAR FACTOR ΚB PATHWAY; NUCLEAR FACTORS; PROCESS ALGEBRAS; SIGNALLING PATHWAYS;

SENSITIVITY ANALYSIS;

EID: 77950327762     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. Cheong, R., Levchenko, A.: Wires in the soup: quantitative models of cell signalling. Trends in Cell Biology 18 (2008) 112–118
2. Hayden, M., Ghosh, S.: Shared principle in NF-κB Signalling. Cell 132 (2008) 344–362
3. Hoffmann, A., Levchenko, A., Scott, M., Baltimore, D.: The IκB–NF-κB Signaling Module: Temporal Control and Selective Gene Activation. Science 298 (2002) 1241–45
4. Cho, K.H., Shin, S.Y., Lee, H.W., et al.: Investigations Into the Analysis and the Modeling of the TNF-mediated NFκB Signaling Pathway. Genome Res. 13 (2003) 2413–2422
5. Lipniacki, T., Paszek, P., Brasier, A., Luxon, B., Kimmel, M.: Mathematical model of NF-κB regulatory module. Journal of Theoretical Biology 228 (2004) 195–215
6. Lipniacki, T., Paszek, P., Brasier, A., Luxon, B., Kimmel, M.: Stochastic Regulation in Early Immune Response. Biophysical Journal 90 (2006) 725–742
7. Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25–31
8. Curti, M., Degano, P., Priami, C., Baldari, C.: Modelling biochemical pathways through enhanced π-calculus. Theoretical Computer Science 325 (2004) 111–140
9. Regev, A., Panina, E., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an Abstraction for Biological Compartments. Theoretical Computer Science 325 (2004) 141–167
10. Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Proceedings of Computational Methods in Systems Biology (CMSB’04). Volume 3082 of LNCS. (2005) 20–33
11. Calder, M., Gilmore, S., Hillston, J.: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Transactions on Computational Systems Biology 7 (2006) 1–23
12. Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Technical report, School of Informatics University of Edinburgh Technical Report EDI-INF-RR-1231 (2008)
13. Ciocchetta, F., Hillston, J.: Bio-PEPA: a Framework for the Modelling and Analysis of Biochemical Networks. Theoretical Computer Science (2009, to appear)
14. Degasperi, A., Gilmore, S.: Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. In: Formal Methods for Computational Systems Biology. Volume 5016 of LNCS. Springer-Verlag (2008) 1–20
15. Dizzy Edinburgh version: (http://homepages.inf.ed.ac.uk/stg/software/Dizzy/)
16. Ciocchetta, F.: Bio-PEPA with SBML-like events. In: Proc. of Computational Models for Cell Processes. (2008)
17. Ciocchetta, F., Guerriero, M.: Modelling Biological Compartments in Bio-PEPA. In: Proc. of MeCBIC 2008. Volume 227 of ENTCS. (2009) 77–95
18. The Bio-PEPA Workbench: (http://www.dcs.ed.ac.uk/home/stg/software/biopepa/about.html)
19. Bio-PEPA Home Page: (http://www.biopepa.org/)
20. MATLAB Home Page: (http://www.mathworks.com/products/matlab/)
21. Dizzy Home Page: (http://magnet.systemsbiology.net/software/Dizzy)
22. Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81 (1977) 2340–2361
23. Bank, R., et al.: Transient simulation of silicon devices and circuits. IEEE Transactions on Electron Devices 32 (1985) 1992–2007
24. Stoer, J., Bulirsch, R.: Introduction to Numerical Analysis. New York: Springer-Verlag (1993)
25. McAdams, H., Arkin, A.: Stochastic mechanisms in gene expression. Proc Natl Acad Sci USA 94 (1997) 814–9
26. Heinrich, R., Schuster, S.: The Regulation of Cellular Systems. Chapman & Hall (1996)
27. Cao, Y., Petzold, L.: Accuracy limitations and the measurements of errors in the stochastic simulation of chemically reacting systems. J. Comput. Phys. 212 (2006) 6–24
28. Hillston, J., Duguid, A.: Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style. In: Algorithmic Bioprocesses. Natural Computing Series, LNCS (2009)
29. Larcher, R., Ihekwaba, A., Priami, C.: A BetaBW model for the NF-κB pathway. Technical Report TR 25/2007, The Microsoft Research-University of Trento Centre for Computational and Systems Biology (2007)
30. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)
31. Kwiatkowska, M., Norman, G., Parker, D.: Prism: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review (2009)
32. PRISM Home Page: (http://www.prismmodelchecker.org)
33. Ciocchetta, F., Degasperi, A., Hillston, J., Calder, M.: Some Investigations Concerning the CTMC and the ODE Model Derived from Bio-PEPA. In: Proc. of FBTC 2008. Volume 209 of ENTCS. (2009) 145–163