Symbolic modeling of signal transduction in pathway logic

Proceedings - Winter Simulation Conference

Volumn , Issue , 2006, Pages 1656-1665

  Talcott, Carolyn ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BACTERIOPHAGES; BIOLOGY; FORMAL LOGIC; FORMAL METHODS; FUZZY LOGIC; MINE FLOODING; SIGNALING; TOOLS;

CELL CELL SIGNALING; CELLULAR PROCESSES; EXECUTABLE MODELS; FORMAL TOOLS; IMMUNE SYSTEMS; METABOLIC PATHWAYS; MODELING AND ANALYSIS; REWRITING LOGIC LANGUAGES; SIGNALING PATHWAY(S); SYMBOLIC SYSTEMS;

SIGNAL TRANSDUCTION;

EID: 46149116360     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2006.322940     Document Type: Conference Paper

References (42)

1. Apolzan, R. 2005. Rapid prototyping applications of formal reasoning tools to biological cellular signalling networks, 〈http://mcs.une.edu.au/ ~iop/Data/Papers/〉.
2. Baral, C., K. Chancellor, N. Tran, N. Tran, A. Joy, and M. Berens. 2004. A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics 20:i15-i22.
3. Calder, M., V. Vyshemirsky, D. Gilbert, and R. Orton. 2005. Analysis of signalling pathways using the PRISM model checker. In Proceedings of the Third International Conference on Computational Methods in System Biology, ed. G. Plotkin.
4. Calzone, L., N. Chabrier-Rivier, F. Fages, L. Gentils, and S. Soliman. 2005. Machine learning bio-molecular interactions from temporal logic properties. In Proceedings of the Third International Conference on Computational Methods in System Biology, ed. G. Plotkin.
5. Chabrier-Rivier, N., M. Chiaverini, V. Danos, F. Fages, and V. Schächter. 2004. Modeling and querying biomolecular interaction networks. Theoretical Computer Science 351 (1): 24-44.
6. Damm, W., and D. Harel. 2001. Breathing life into message sequence charts. Formal Methods in System Design 19 (1).
7. Efroni, S., D. Harel, and I. Cohen. 2003. Towards rigorous comprehension of biological complexity: Modeling, execution and visualization of thymic t-cell maturation. Genome Research. Special issue on Systems Biology, in press.
8. Eker, S., M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer, and K. Sonmez. 2002, January. Pathway Logic: Symbolic analysis of biological signaling. In Proceedings of the Pacific Symposium on Biocomputing, 400-412.
9. Eker, S., M. Knapp, K. Laderoute, P. Lincoln, and C. Talcott. 2002. Pathway Logic: Executable models of biological networks. In Fourth International Workshop on Rewriting Logic and Its Applications, Volume 71 of Electronic Notes in Theoretical Computer Science: Elsevier.
10. Fages, F., S. Soliman, and N. Chabrier-Rivier. 2004. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4 (2): 64-73.
11. Genrich, H., R. Küffner, and K. Voss. 2001. Executable Petri net models for the analysis of metabolic pathways. Software Tools for Technology Transfer 3.
12. Goss, P. J., and J. Peccoud. 1998. Quantitative modeling of stochastic systems in molecular biology using stochastic Petri nets. Proceedings of the National Academy of Science 95:6750-6755.
13. Harel, D. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8:231-274.
14. Hinton, A., M. Kwiatkowska, G. Norman, and D. Parker. 2006. PRISM: A tool for automatic verification of probabilistic systems. In 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), ed. H. Hermanns and J. Palsberg, Volume 3920 of Lecture Notes in Computer Science, 441-444: Springer.
15. Hofestädt, R. 1994. A Petri net application to model metabolic processes. Systems Analysis Modelling Simulation 16:113-122.
16. Kam, N., I. Cohen, and D. Harel. 2001. The immune system as a reactive system: Modeling t cell activation with Statecharts. In Visual Languages and Formal Methods (VLFM'01), 15-22.
17. Kam, N., D. Harel, H. Kugler, R. Marelly, A. Pnueli, J. Hubbard, and M. Stem. 2003. Formal modeling of Celegans development: A scenario-based approach. In First International Workshop on Computational Methods in Systems Biology, Volume 2602 of Lecture Notes in Computer Science, 4-20: Springer.
18. Kitano, H. 2003a. A graphical notation for biochemical networks. Biosilico 1:169-176.
19. Kitano, H. 2003b. The standard graphical notation for biological networks. In The Sixth Workshop on Software Platforms for Systems Biology.
20. Kohn, K. W. 1999. Molecular interaction map of the mammalian cell cycle control and dna repair systems. Molecular Biology of the Cell 10 (8): 2703-2734.
21. Kohn, K. W. 2001. Molecular interaction maps as information organizers and simulation guides. Chaos 11 (1).
22. Küffner, R., R. Zimmer, and T. Lengauer. 2000. Pathway analysis in metabolic databases via differential metabolic display (DMD). Bioinformatics 16:825-836.
23. L.Cardelli 2004. Brane calculi interactions of biological membranes. In Computational Methods in Systems Biology: Springer.
24. Matsuno, H., A. Doi, M. Nagasaki, and S. Miyano. 2000. Hybrid Petri net representation of gene regulatory network. In Pacific Symposium on Biocomputing, Volume 5, 341-352.
25. Meseguer, J. 1992. Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96 (1): 73-155.
26. Milner, R. 1989. Communication and concurrency. Prentice Hall.
27. Nielson, F., H. R. Nielson, C. Priami, and D. Rosa. 2003. Control flow analysis for bioambients. In BioConcur.
28. Oliveira, J. S., C. G. Bailey, J. B. Jones-Oliveira, D. A. Dixon, D. W. Gull, and M. L. Chandler. 2001. An algebraic-combinatorial model for the identification and mapping of biochemical pathways. Bulletin of Mathematical Biology 63:1163-1196.
29. Oliveira, J. S., C. G. Bailey, J. B. Jones-Oliveira, D. A. Dixon, D. W. Gull, and M. L. Chandler. 2003. A computational model for the identification of biochemical pathways in the Krebs cycle. Computational Biology 10:57-82.
30. Peterson, J. L. 1981. Petri nets: Properties, analysis, and applications. Prentice-Hall.
31. Priami, C., A. Regev, E. Shapiro, and W. Silverman. 2001. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters. In press.
32. Prez-Jimnez, M., and F. Romero-Campero. 2005. Modelling EGFR signalling cascade using continuous membrane systems. In Proceedings of the Third International Conference on Computational Methods in System Biology, ed. G. Plotkin.
33. Reddy, V. N., M. N. Liebmann, and M. L. Mavrovouniotis. 1996. Qualitative analysis of biochemical reaction systems. Computational Biological Medicine 26:9-24.
34. Regev, A., E. Panina, W. Silverman, L. Cardelli, and E. Shaprio. 2003. Bioambients: An abstraction for biological compartments.
35. Regev, A., W. Silverman, and E. Shapiro. 2001. Representation and simulation of biochemical processes using the pi-calculus process algebra. In Pacific Symposium on Biocomputing, Volume 6, 459-470: World Scientific Press.
36. Schmidt, A., and A. Hall. 2002. Guanine nucleotide exchange factors for rho gtpases: turning on the switch. Genes and Development 16:1587-15609.
37. Shankar, N. 2000. Symbolic analysis of transition systems. In Proceedings of the International Workshop on Abstract State Machines, Theory and Applications, 287-302. Springer.
38. Shankland, C., N. Tran, C. Baral, and W. Kolch. 2005. Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In Proceedings of the Third International Conference on Computational Methods in System Biology, ed. G. Plotkin.
39. Stehr, M.-O. 2000. A rewriting semantics for algebraic nets. In Petri Nets for System Engineering - A Guide to Modelling, Verification, and Applications, ed. C. Girault and R. Valk. Springer-Verlag.
40. Talcott, C., and D. L. Dill. 2005. The pathway logic assistant. In Third International Workshop on Computational Methods in Systems Biology, ed. G. Plotkin, 228-239.
41. Talcott, C., S. Eker, M. Knapp, P. Lincoln, and K. Laderoute. 2004, January. Pathway logic modeling of protein functional domains in signal transduction. In Proceedings of the Pacific Symposium on Biocomputing.
42. Zevedei-Oancea, I., and S. Schuster. 2003. Topological analysis of metabolic networks based on Petri net theory. In Silico Biology 3 (0029).