Pathway logic

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

Volumn 5016 LNCS, Issue , 2008, Pages 21-53

  Talcott, Carolyn ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

Epidermal Growth factor signaling; Pathway logic; Rewriting logic; Signal transduction; Symbolic systems biology

Indexed keywords

ACTIVATION ANALYSIS; BACTERIOPHAGES; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; FUZZY LOGIC; LIGHT EMISSION; LUMINESCENCE; MODAL ANALYSIS; SIGNAL TRANSDUCTION; SOFTWARE DESIGN;

BIOLOGICAL PROCESSING; COMPUTATIONAL SYSTEMS BIOLOGY; EPIDERMAL GROWTH FACTOR (EGF); GENERAL (CO); HEIDELBERG (CO); INTERNATIONAL (CO); MODELING AND ANALYSIS; REWRITING LOGIC (RWL); SIGNALING EVENTS; SOFTWARE SYSTEMS; SPRINGER (CO); SYMBOLIC SYSTEMS;

FORMAL METHODS;

EID: 45849151727     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68894-5_2     Document Type: Conference Paper

References (55)

1. Apolzan, R.: Rapid prototyping applications of formal reasoning tools to biological cellular signalling networks (2005), http://mcs.une.edu.au/∼iop/ Data/Papers/
2. Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using the PRISM model checker. In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (2005)
3. Calzone, L., Chabrier-Rivier, N., Fages, F., Gentils, L., Soliman, S.: Machine learning biomolecular interactions from temporal logic properties. In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (2005)
4. Cardelli, L.: Abstract machines of systems biology. In: Priami, C., Merelli, E., Gonzalez, P., Omicini, A. (eds.) Transactions on Computational Systems Biology III. LNCS (LNBI), vol. 3737, pp. 145-168. Springer, Heidelberg (2005)
5. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schächter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science 351(1), 24-44 (2004)
6. Chaouiya, C.: Petri net modelling of biological networks. Briefings in Bioinformatics 8, 210-219 (2007)
7. Clavel, M., Durán, F., Eker, S., Lincoln, P., Mart́-Oliet, N., Meseguer, J., Talcott, C.: All About Maude: A High-Performance Logical Framework. Springer, Heidelberg (2007)
8. Damm, W., Harel, D.: Breathing life into message sequence charts. Formal Methods in System Design 19(1) (2001)
9. Edwards, J.S., Covert, M., Palsson, B.O.: Metabolic modelling of microbes: The flux-balance approach. Environmental Microbiology 4(3), 133-140 (2002)
10. Efroni, S., Harel, D., Cohen, I.R.: Towards rigorous comprehension of biological complexity: Modeling, execution and visualization of thymic t-cell maturation. Genome Research, Special issue on Systems Biology (in press, 2003)
11. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway Logic: Symbolic analysis of biological signaling. In: Proceedings of the Pacific Symposium on Bio-computing, pp. 400-412 (January 2002)
12. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.: Pathway Logic: Executable models of biological networks. In: Fourth International Workshop on Rewriting Logic and Its Applications. Electronic Notes in Theoretical Computer Science, vol. 71, Elsevier, Amsterdam (2002)
13. Pearson, G., et al.: Mitogen-activated protein (MAP) kinase pathways: regulation and physiological functions. Endocr. Rev, 153-183 (2001)
14. Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4(2), 64-73 (2004)
15. Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology 25(11) (2007)
16. Genrich, H., Küffner, R., Voss, K.: Executable Petri net models for the analysis of metabolic pathways. Software Tools for Technology Transfer 3 (2001)
17. Ghosh, R., Tiwari, A., Tomlin, C.: Automated symbolic reachability analysis with application to delta-notch signaling automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 233-248. Springer, Heidelberg (2003)
18. 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)
19. Goss, P.J., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology using stochastic Petri nets. Proceedings of the National Academy of Science 95, 6750-6755 (1998)
20. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231-274 (1987)
21. Henzinger, T.A.: The theory of hybrid automata. In: 11th IEEE Symposium on Logic in Computer Science, pp. 278-292 (1996)
22. Hofestädt, R.: A Petri net application to model metabolic processes. Systems Analysis Modelling Simulation 16, 113-122 (1994)
23. Kam, N., Cohen, I.R., Harel, D.: The immune system as a reactive system: Modeling t cell activation with statecharts. In: Visual Languages and Formal Methods (VLFM 2001), pp. 15-22 (2001)
24. Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, J., Stern, M.: Formal modeling of C.elegans development: A scenario-based approach. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 4-20. Springer, Heidelberg (2003)
25. Kolch, W.: Meaningful relationships: The regulation of the Ras/Raf/MEK/ERK pathway by protein interactions. Biochem J. 351, 289-305 (2000)
26. Küffner, R., Zimmer, R., Lengauer, T.: Pathway analysis in metabolic databases via differential metabolic display (DMD). Bioinformatics 16, 825-836 (2000)
27. Kyriakis, J.M., Avruch, J.: Mammalian mitogen-activated protein kinase signal transduction pathways activated by stress and inflammation. Physiol. Rev. 81, 807-869 (2001)
28. Cardelli, L.: Brane calculi interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, Springer, Heidelberg (2005)
29. Li, C., Ge, Q.W., Nakata, M., Matsuno, H., Miyano, S.: Modelling and simulation of signal transductions in an apoptosis pathway by using timed petri nets. Journal of Bioscience 32, 113-127 (2007)
30. Lincoln, P., Tiwari, A.: Symbolic systems biology: Hybrid modeling and analysis of biological networks. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 660-672. Springer, Heidelberg (2004)
31. LoLA: Low Level Petri net Analyzer (2004), http://www.informatik.hu- berlin.de/∼kschmidt/lola.html
32. Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory network. In: Pacific Symposium on Biocomputing, vol. 5, pp. 341-352 (2000)
33. Meseguer, J.: Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73-155 (1992)
34. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
35. Milner, R.: Communicating and Mobile Systems: The pi-Calculus. Cambridge University Press, Cambridge (1999)
36. Nielson, F., Nielson, H.R., Priami, C., Rosa, D.: Control flow analysis for bioambients. In: BioConcur (2003)
37. Päun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
38. Peterson, J.L.: Petri Nets: Properties, analysis, and applications. Prentice-Hall, Englewood Cliffs (1981)
39. Petri, C.A.: Introduction to general net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 1-19. Springer, Heidelberg (1980)
40. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25-31 (2001)
41. Prez-Jimnez, M.J., Romero-Campero, F.J.: Modelling EGFR signalling cascade using continuous membrane systems (simulation). In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (2005)
42. Reddy, V.N., Liebmann, M.N., Mavrovouniotis, M.L.: Qualitative analysis of biochemical reaction systems. Computational Biological Medicine 26, 9-24 (1996)
43. Regev, A., Panina, E., Silverman, W., Cardelli, L., Shaprio, E.: Bioambients: An abstraction for biological compartments (2004)
44. Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific Symposium on Biocomputing, vol. 6, pp. 459-470. World Scientific Press, Singapore (2001)
45. Schmidt, K.: LoLA: A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 465-474. Springer, Heidelberg (2000)
46. Seger, R., Krebs, E.G.: The mapk signaling cascade. FASEB J. 9(9), 726-735 (1995)
47. Shankar, N.: Symbolic analysis of transition systems. In: Proceedings of the International Workshop on Abstract State Machines, Theory and Applications, pp. 287-302. Springer, Heidelberg (2000)
48. Stehr, M.-O.: A rewriting semantics for algebraic nets. In: Girault, C., Valk, R. (eds.) Petri Nets for System Engineering - A Guide to Modelling, Verification, and Applications, Springer, Heidelberg (2000)
49. Talcott, C., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Proceedings of the Pacific Symposium on Biocomputing (January 2004)
50. Talcott, C.: Formal executable models of cell signaling primitives. In: Margaria, T., Philippou, A., Steffen, B. (eds.) 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISOLA06, pp. 303-307 (2006)
51. Talcott, C.: Symbolic modeling of signal transduction in pathway logic. In: Perrone, L.F., Wieland, F.P., Liu, J., Lawson, B.G., Nicol, D.M., Fujimoto, R.M. (eds.) 2006 Winter Simulation Conference, pp. 1656-1665 (2006)
52. Talcott, C., Dill, D.L.: Multiple representations of biological processes. Transactions on Computational Systems Biology (2006)
53. Tiwari, A.: Abstractions for hybrid systems. Formal Methods in Systems Design 32(1), 57-83 (2008)
54. Tiwari, A., Talcott, C., Knapp, M., Lincoln, P., Laderoute, K.: Analyzing pathways using sat-based approaches. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol. 4545, pp. 155-169. Springer, Heidelberg (2007)
55. Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. In: Silico Biology, vol. 3, p. 29 (2003)