Biomodel engineering - From structure to behavior

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

Volumn 5945 LNBI, Issue , 2010, Pages 1-12

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

^a UNIVERSITY OF GRONINGEN   (Netherlands)

^b UNIVERSITY OF GLASGOW   (United Kingdom)

^c BRUNEL UNIVERSITY   (United Kingdom)

^d BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Computational modeling; Differential equations; Petri nets; Systems biology

Indexed keywords

APPLICATION DOMAINS; BASIC CONCEPTS; CELLULAR SIGNALING; COMPUTATIONAL MODEL; COMPUTATIONAL MODELING; MATHEMATICAL MODELING; METABOLIC NETWORK; PETRI NET MODELS; SYNTHETIC BIOLOGY; SYSTEMS BIOLOGY;

BIOLOGICAL SYSTEMS; DIFFERENTIAL EQUATIONS; GRAPH THEORY; PETRI NETS;

MODELS;

EID: 77950325438     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11712-1_1     Document Type: Conference Paper

References (38)

1. Fisher, J., Henzinger, T.A.: Executable cell biology. Nat. Biotechnol. 25, 1239-1249 (2007)
2. Gilbert, D., Fuss, H., Gu, X., Orton, R., Robinson, S., Vyshemirsky, V., Kurth, M.J., Downes, C.S., Dubitzky, W.: Computational methodologies for modelling, analysis and simulation of signalling networks. Brief Bioinform. 7, 339-353 (2006)
3. 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)
4. Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Computational modeling of biological processes with Petri Net-based architecture. In: Chen, Y. (ed.) Bioinformatics Technologies, pp. 179-242. Springer, Heidelberg (2005)
5. Matsuno, H., Li, C., Miyano, S.: Petri net based descriptions for systematic understanding of biological pathways. IEICE Trans Fundam Electron Commun. Comput Sci. E89-A, 3166-3174 (2006)
6. Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: a platform for modeling and simulating biopathways. Applied Bioinformatics 2, 181-184 (2003)
7. Chaouiya, C.: Petri net modelling of biological networks. Brief Bioinform. 8, 210-219 (2007)
8. 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)
9. Petri, C.A., Reisig, W.: Petri nets. Scholarpedia 3, 6477 (2008)
10. Breitling, R., Gilbert, D., Heiner, M., Orton, R.: A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Brief Bioinform. 9, 404-421 (2008)
11. Shaw, O., Koelmans, A., Steggles, J., Wipat, A.: Applying Petri Nets to Systems Biology using XML Technologies. Technical Report Series. University of Newcastle upon Tyne (2004); CS-TR-827
12. Nagasaki, M., Saito, A., Li, C., Jeong, E., Miyano, S.: Systematic reconstruction of TRANSPATH data into cell system markup language. BMC Syst. Biol. 2, 53 (2008)
13. Krull, M., Pistor, S., Voss, N., Kel, A., Reuter, I., Kronenberg, D., Michael, H., Schwarzer, K., Potapov, A., Choi, C., et al.: TRANSPATH: an information resource for storing and visualizing signaling pathways and their pathological aberrations. Nucleic Acids Res. 34, D546-D551 (2006)
14. Edwards, J.S., Palsson, B.O.: Metabolic flux balance analysis and the in silico analysis of Escherichia coli K-12 gene deletions. BMC Bioinformatics 1, 1 (2000)
15. Reed, J.L., Famili, I., Thiele, I., Palsson, B.O.: Towards multidimensional genome annotation. Nat. Rev. Genet. 7, 130-141 (2006)
16. Becker, S.A., Feist, A.M., Mo, M.L., Hannum, G., Palsson, B.O., Herrgard, M.J.: Quantitative prediction of cellular metabolism with constraint-based models: the COBRA Toolbox. Nat. Protoc. 2, 727-738 (2007)
17. Palsson, B.O.: Systems Biology: Properties of Reconstructed Networks. Cambridge University Press, Cambridge (2006)
18. Papin, J.A., Stelling, J., Price, N.D., Klamt, S., Schuster, S., Palsson, B.O.: Comparison of network-based pathway analysis methods. Trends Biotechnol. 22, 400-405 (2004)
19. Famili, I., Palsson, B.O.: The convex basis of the left null space of the stoichiometric matrix leads to the definition of metabolically meaningful pools. Biophys. J. 85, 16-26 (2003)
20. Heiner, M., Koch, I., Will, J.: Model validation of biological pathways using Petri nets - demonstrated for apoptosis. Biosystems 75, 15-28 (2004)
21. Heiner, M., Koch, I.: Petri net based model validation in systems biology. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.3099, pp. 216-237. Springer, Heidelberg (2004)
22. Duarte, N.C., Becker, S.A., Jamshidi, N., Thiele, I., Mo, M.L., Vo, T.D., Srivas, R., Palsson, B.O.: Global reconstruction of the human metabolic network based on genomic and bibliomic data. Proc. Natl. Acad. Sci. U S A 104, 1777-1782 (2007)
23. Herrgard, M.J., Lee, B.S., Portnoy, V., Palsson, B.O.: Integrated analysis of regulatory and metabolic networks reveals novel regulatory mechanisms in Saccharomyces cerevisiae. Genome Res. 16, 627-635 (2006)
24. Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science 391, 239-257 (2008)
25. Kwiatkowska, M., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. ACM SIGMETRICS Performance Evaluation Review 35, 14-21 (2008)
26. Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways using Continuous Time Markov Chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.4220, pp. 44-67. Springer, Heidelberg (2006)
27. 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)
28. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)
29. Losick, R., Desplan, C.: Stochasticity and cell fate. Science 320, 65-68 (2008)
30. Gillespie, D.T.: Stochastic simulation of chemical kinetics. Annu. Rev. Phys. Chem. 58, 35-55 (2007)
31. Kaern, M., Elston, T.C., Blake, W.J., Collins, J.J.: Stochasticity in gene expression: from theories to phenotypes. Nat. Rev. Genet. 6, 451-464 (2005)
32. Shetty, R.P., Endy, D., Knight Jr., T.F.: Engineering BioBrick vectors from BioBrick parts. J. Biol. Eng. 2, 5 (2008)
33. Koch, I., Junker, B.H., Heiner, M.: Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics 21, 1219-1226 (2005)
34. Li, F., Long, T., Lu, Y., Quyang, Q., Tang, C.: The yeast cell-cycle network is robustly designed. Proc. Natl. Acad. Sci. U S A 101, 4781-4786 (2004)
35. Fisher, J., Piterman, N., Hubbard, E.J., Stern, M.J., Harel, D.: Computational insights into Caenorhabditis elegans vulval development. Proc. Natl. Acad. Sci. U S A 102, 1951-1956 (2005)
36. Hofestädt, R.: A Petri Net Application of Metabolic Processes. Journal of System Analysis, Modelling and Simulation 16, 113-122 (1994)
37. Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri Net Representation in Metabolic Pathways. In: First International Conference on Intelligent Systems for Molecular Biology 1993, pp. 328-336. AAAI Press, Menlo Park (1993)
38. Ruths, D., Muller, M., Tseng, J.T., Nakhleh, L., Ram, P.T.: The signaling Petri net-based simulator: a non-parametric strategy for characterizing the dynamics of cell-specific signaling networks. PLoS Comput. Biol. 4, e1000005 (2008)