Modelling biochemical pathways through enhanced π -calculus

Theoretical Computer Science

Volumn 325, Issue 1, 2004, Pages 111-140

  Curti, M ^a   Degano, P ^a   Priami, C ^b   Baldari, C T ^c  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF SIENA   (Italy)

Author keywords

Causality; Concurrency; Reduction semantics; Systems biology

Indexed keywords

CAUSALITY; CONCURRENCY; REDUCTION SEMANTICS; SYSTEMS BIOLOGY;

CELLS; COMPUTER SIMULATION; GLUCOSE; ONCOLOGY; PROBABILITY DISTRIBUTIONS; PROTEINS; SEMANTICS; THEOREM PROVING;

BIOCHEMISTRY;

EID: 4444324902     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.03.066     Document Type: Conference Paper

References (56)

1. Altschul, et al. Issues in searching molecular sequence database, Nat. Gen. 6 (1994) 119-129.
2. Bodei C., Degano P., Priami C. Names of mobile agents handled locally. Theoret. Comput. Sci. 253(2):2000;155-184.
3. L. Cardelli, A.D. Gordon, Mobile ambients, in: Foundations of Software Science and Computation Structures: First Internat. Conf., FOSSACS '98, Springer, Berlin, Germany, 1998.
4. CellML Home Page, http://www.cellml.org.
5. M. Chiaverini, V. Danos, A core modeling language for the working molecular biologist, in: C. Priami (Ed.), Computational Methods in Systems Biology, First Internat. Workshop, CMSB 2003, Proc., Rovereto, Italy, February 24-26, 2003, Lecture Notes in Computer Science, Vol. 2602, Springer, Berlin, 2003.
6. V. Danos, C. Laneve, Causal π -calculus for biochemical modelling, in: C. Priami (Ed.), Computational Methods in Systems Biology, First Internat. Workshop, CMSB 2003, Proc., Rovereto, Italy, February 24-26, 2003, Lecture Notes in Computer Science, Vol. 2602, Springer, Berlin, 2003.
7. V. Danos, C. Laneve, Core formal molecular biology, in: P. Degano (Ed.), Programming Languages and Systems, 12th European Symp. on Programming, ESOP 2003, Warsaw, Poland, April 7-11, 2003, Lecture Notes in Computer Science, Vol. 2618, Springer, Berlin, 2003.
8. Degano P., Priami C. Non-interleaving semantics for mobile processes. Theoret. Comput. Sci. 216(1, 2):1999;237-270.
9. Degano P., Priami C. Enhanced operational semantics. a tool for describing and analysing concurrent systems ACM Comput. Surv. 33(2):2001;135-176.
10. P. Degano, C. Priami, Eos for system biology, in: C. Priami (Ed.), Computational Methods in Systems Biology, First Internat. Workshop, CMSB 2003, Proc., Rovereto, Italy, February 24-26, 2003, Lecture Notes in Computer Science, Vol. 2602, Springer, Berlin, 2003.
11. S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer, K. Sonmez, Pathway logic: symbolic analysis of biological signaling, in: Proc. Pacific Symp. on Biocomputing, 2002, pp. 400-412.
12. Endy D., Brent R. Modelling cellular behaviour. Nature. 409:2001;391-395.
13. W. Fontana, L.W. Buss, The Barrier of Objects: From Dynamical System to Bounded Organizations, Addison-Wesley, Reading MA, 1996, pp. 56-116.
14. Gillespie D.T. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comput. Phys. 22:1976;403-434.
15. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81:1977;2340-2361.
16. Gomperts B.D., Kramer I.M., Tatham P.E.R. Signal Transduction. 2002;Academic Press, San Diego, CA.
17. P.J.E. Goss, J. Peccoud, Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets, in: Proc. of the National Academy of Sciences, USA, No. 12, 1998, pp. 6750-6754.
18. M. Heiner, I. Koch, K. Voss, Analysis and simulation of steady states in metabolic pathways with petri nets, in: K. Jensen (Ed.), CPN'01-Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 2001, pp. 15-34.
19. M. Heiner, I. Koch, J. Will, Model validation of biological pathway using petri nets - demonstrated for apoptosis, in: C. Priami (Ed.), Computational Methods in Systems Biology, First Internat. Workshop, CMSB 2003, Rovereto, Proc., Italy, February 24-26, 2003, Lecture Notes in Computer Science, Vol. 2602, Springer, Berlin, 2003.
20. Hofestädt R., Thelen S. Quantitative modeling of biochemical networks. In. Silico Biol. 1(1):1998;39-53.
21. M. Holcombe, A. Bell, Computational Models of Immunological Pathways, Proceedings of IPCAT 97, Sheffield, UK, 1997, pp. 213-226.
22. Hucka M., et al. The System biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics. 19:2003;524-531.
23. N. Kam, I.R. Cohen, D. Harel, The immune system as a reactive system: modelling t all activation with statecharts, Tech. Rep MCS01-09, The Weizmann Institute of Science, Rehovot, Israel, June 2001.
24. N. Kam, D. Harel, I.R. Cohen, Modelling biological nactivity: statecharts vs. boolean logic, Proc. 2nd Int. Conf. on Systems Biology, Pasadena, CA, USA, November 2001.
25. Kane L.P., Lin J., Weiss A. Signal transduction by the tcr for antigen. Curr. Opin. Immunol. 12:2000;242-249.
26. Kanehisa M., Goto S. Kegg. Kyoto encyclopedia of genes and genomes Nucleic Acids Res. 28(1):2000;27-30.
27. Karp P.D. An ontology for biological function based on molecular interactions. Bioinformatics. 16:2000;269-285.
28. Karp P.D. Pathway databases. a case study in computational symbolic theories Science. 293:2001;2040-2044.
29. Karp P.D., Riley M., Paley S.M., Pellegrini-Toole A., Krummenacker M. Eco cyc. encyclopedia of Escherichia coli genes and metabolism Nucleic Acids Res. 27(1):1999;55-58.
30. Kohn K.W. Molecular interaction map of the mammalian cell cycle control and dna repair systems. Molecular Biology of the Cell. 10:1999;2703-2734.
31. Kohn M.C., Lemieux D.R. Identification of regulatory properties of metabolic networks by graph theoretical modeling. J. Theoret. Biol. 150:1991;3-25.
32. Kolpakov F.A., Ananko E.A., Kolesov G.B., Kolchanov N.A. Genenet. a gene network database and its automated visualization Bioinformatics. 14(8):1998;529-537.
33. H. Matsuno, A. Doi, M. Nagasaki, S. Miyano, Hybrid petri net representation of gene regulatory network, in: Pacific Symp. on Biocomputing, 2000.
34. R. McEntire, P. Karp, N. Abernethy, D. Benton, G. Helt, M. DeJongh, R. Kent, A. Kosky, S. Lewis, D. Hodnett, E. Neumann, F. Olken, D. Pathak, P. Tarczy-Hornoch, L. Toldo, T. Topaloglou, An evaluation of ontology exchange languages for bioinformatics, in: R. Altman, L. Bailey, Timothy, P. Bourne, M. Gribskov, T. Lengauer, I.N. Shindyalov (Eds.), Proc. of the 8th Internat. Conf. on Intelligent Systems for Molecular (ISMB-00), AAAI Press, Menlo Park, CA, August 16-23, 2000, pp. 239-250.
35. Mendes P. Gepasi. a software package for modelling the dynamics, steady states and control of biochemical and other systems Comput. Appl. Biosci. 9(5):1993;563-571.
36. Milner R. Communication and Concurrency. 1989;Prentice-Hall, Englewood Cliffs, NJ.
37. Milner R. Functions as processes. Math. Struct. CS. 2(2):1992;119-141.
38. Milner R. Communicating and Mobile Systems: The. π -Calculus:1999;Cambridge University Press.
39. Milner R., Parrow J., Walker D. A calculus of mobile processes (i and ii). Inform. Comput. 100(1):1992;1-72.
40. Mounts W.M., Liebman M.N. Qualitative modeling of normal blood coagulation and its pathological states using stochastic activity networks. Internat. J. Biol. Macromol. 20:1997;265-281.
41. Nagasaki M., Onami S., Miyano S., Kitano H. Bio-calculus. its concept and molecular interaction Genome Informatics. 10:1999;133-143.
42. Nottegar C., Priami C., Degano P. Performance evaluation of mobile processes via abstract machines. IEEE Trans. Software Engrg. 27(10):2001;867-889.
43. Ogata H., Goto S., Sato K., Fujibuchi W., Bono H., Kanehisa M. Kegg. Kyoto encyclopedia of genes and genomes Nucleic Acid Res. 27(1):2000;29-34.
44. Peleg M., Yeh I., Altman R. Modeling biological processes using workflow and petri net models. Bioinformatics. 18:2002;825-837.
45. Priami C. Stochastic. π -calculus Comput. J. 38(6):1995;578-589.
46. Priami C. Language-based performance prediction for distributed and mobile systems. Inform. and Comput. 175:2002.
47. Priami C., Regev A., Silverman W., Shapiro E. Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Inform. Process. Lett. 80:2001;25-31.
48. Rao A., Luo C., Hogan P.G. Transcription factors of the nfat family. regulation and function Ann. Rev. Immunol. 15:1997;707-747.
49. Reddy V.N., Mavrouvouniotis M.L., Liebman M.N. Qualitative analysis of biochemical reduction systems. Comput. Biol. Med. 26(1):1996;9-24.
50. A. Regev, Computational system biology: a calculus for biomolecular knowledge, PhD Thesis, Tel Aviv University, Israel, 2003.
51. Regev A., Shapiro E. Cells as computations. Nature. 419:2002;343.
52. A. Regev, W. Silverman, E. Shapiro, Representation and simulation of biochemical processes using the π -calculus process algebra, in: Pacific Symp. of Biocomputing (PSB2001), 2001, pp. 459-470.
53. Reisig W. Petri Nets: An Introduction. 1985;Springer, Berlin.
54. M. Hucka, A. Finney, H. Sauro, H. Bolouri, The ERATO systems biology workbench: architectural evolution, in: T.M. Yi, M. Hucka, H. Kitano (Eds.), Proc. 2nd International Conference on Systems Biology, 2001.
55. Tomita M., et al. E-CELL. software environment for whole-cell simulation Bioinformatics. 15:1998;72-84.
56. Xml web site: http://www.w3.org/xml.