Multiple representations of biological processes

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

Volumn 4220 LNBI, Issue , 2006, Pages 221-245

  Talcott, Carolyn ^a   Dill, David L ^b  

^a SRI INTERNATIONAL   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

Biological process; Pathway logic; Petri net; Rewriting logic; Signal transduction

Indexed keywords

FORMAL LOGIC; PETRI NETS; QUERY PROCESSING; SIGNAL TRANSDUCTION;

PATHWAY LOGIC ASSISTANT; REWRITING LOGIC;

BIOLOGICAL SYSTEMS;

EID: 38149034537     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880646_10     Document Type: Conference Paper

References (52)

1. 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 Biocomputing. (2002) 400-412
2. 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 (WRLA'2002), Pisa, Italy, September 19-21, 2002. Volume 71 of Electronic Notes in Theoretical Computer Science., Elsevier (2002) http://www.elsevier.nl/locate/entcs/volume71.html.
3. 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. (2004)
4. Clavel, M., Durán, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (2003) http://maude.cs.uiuc.edu.
5. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L.: The Maude 2.0 system. In Nieuwenhuis, R., ed.: Rewriting Techniques and Applications (RTA 2003). Volume 2706 of Lecture Notes in Computer Science., Springer-Verlag (2003) 76-87
6. Mason, I.A., Talcott, C.L.: IOP: The Interoperability Platform & IMaude: An interactive extension of Maude. In: Fifth International Workshop on Rewriting Logic and Its Applications (WRLA'2004). Electronic Notes in Theoretical Computer Science, Elsevier (2004)
7. Kohn, K. W.: Functional capabilities of molecular network components controlling the mammalian g1/s cell cycle phase transition. Oncogene 16 (1998) 1065-1075
8. Weng, G., Bhalla, U.S., Iyengar, R.: Complexity in biological signaling systems. Science 284 (1999) 92-96
9. Shvartsman, S.Y., Hagan, M.P., Yacoub, A., Dent, P., Wiley, H., Lauffenburger, D.: Autocrine loops with positive feedback enable context-dependent cell signaling. Am J Physiol Cell Physiol 282 (2002) C545-559
10. Smolen, P., Baxter, D.A., Byrne, J.: Mathematical modeling of gene networks. Neuron 26 (2000) 567-580
11. Lok, L.: Software for signaling networks, electronic and cellular. Science STKE PE11 (2002)
12. Rao, C.V., Wolf, D.M., Arkin, A.P.: Control, exploitation and tolerance of intracellular noise. Nature 420 (2002) 231-237
13. Endy, D., Brent, R.: Modelling cellular behaviour. Nature 409 (2001) 391-395
14. Peterson, J.L.: Petri Nets: Properties, analysis, and applications. Prentice-Hall (1981)
15. Milner, R.: A Calculus of Communicating Systems. Springer Verlag (1980)
16. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-274
17. Meseguer, J.: Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96(1) (1992) 73-155
18. Croes, D., Couche, F., van Helden, J., Wodak, S.: Path finding in metabolic networks: measuring functional distances between enzymes. In: Open Days in Biology, Computer Science and Mathematics JOBIM 2004. (2004)
19. Hofestädt, R.: A Petri net application to model metabolic processes. Syst. Anal. Mod. Simul. 16(1994) 113-122
20. Reddy, V.N., Liebmann, M.N., Mavrovouniotis, M.L.: Qualitative analysis of biochemical reaction systems. Comput. Biol. Med. 26 (1996) 9-24
21. Goss, P.J., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology using stochastic Petri nets. Proc. Natl. Acad. Sci. U. S. A. 95 (1998) 6750-6755
22. Küffner, R., Zimmer, R., Lengauer, T.: Pathway analysis in metabolic databases via differential metabolic display (DMD). Bioinformatics 16 (2000) 825-836
23. Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory network. In: Pacific Symposium on Biocomputing. Volume 5. (2000) 341-352
24. Oliveira, J.S., Bailey, C.G., Jones-Oliveira, J.B., Dixon, D.A., Gull, D.W., Chandler, M.L.: An algebraic-combinatorial model for the identification and mapping of biochemical pathways. Bull. Math. Biol. 63 (2001) 1163-1196
25. Genrich, H., Küffner, R., Voss, K.: Executable Petri net models for the analysis of metabolic pathways. Int. J. STTT 3 (2001)
26. Oliveira, J.S., Bailey, C.G., Jones-Oliveira, J.B., Dixon, D.A., Gull, D.W., Chandler, M.L.: A computational model for the identification of biochemical pathways in the Krebs cycle. J. Computational Biology 10 (2003) 57-82
27. Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. In Silico Biology 3(0029) (2003)
28. Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In Altman, R.B., Dunker, A.K., Hunter, L., Klein, TE., eds.: Pacific Symposium on Biocomputing. Volume 6., World Scientific Press (2001) 459-470
29. 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 (2001) in press.
30. 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 (CMSB 2005). (2005)
31. Regev, A., Panina, E., Silverman, W., Cardelli, L., Shaprio, E.: Bioambients: An abstraction for biological compartments (2003) to appear TCS.
32. Nielson, F., Nielson, H.R., Priami, C., Rosa, D.: Control flow analysis for bioambients. In: BioConcur. (2003)
33. Kam, N., Cohen, I., Harel, D.: The immune system as a reactive system: Modeling t cell activation with Statecharts. In: Proc. Visual Languages and Formal Methods (VLFM'01). (2001) 15-22
34. Efroni, S., Harel, D., Cohen, L: Towards rigorous comprehension of biological complexity: Modeling, execution and visualization of thymic t-cell maturation. Genome Research (2003) Special issue on Systems Biology, in press.
35. Damm, W., Harel, D.: Breathing life into message sequence charts. Formal Methods in System Design 19(1) (2001)
36. 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: First International Workshop on Computational Methods in Systems Biology. Volume 2602 of Lecture Notes in Computer Science., Springer (2003) 4-20
37. Prez-Jimnez, M., Romero-Campero, F.: Modelling EGFR signalling cascade using continuous membrane systems. In Plotkin, G., ed.: Proceedings of the Third International Conference on Computational Methods in System Biology (CMSB 2005). (2005)
38. 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) (2004) 64-73
39. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schächter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science 351(1) (2004) 24-44
40. 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 (CMSB 2005). (2005)
41. Baral, C., Chancellor, K., Tran, N., Tran, N., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics 20 (2004) i15-i22
42. Shankland, C., Tran, N., Baral, C., Kolch, W.: Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In Plotkin, G., ed.: Proceedings of the Third International Conference on Computational Methods in System Biology (CMSB 2005). (2005)
43. Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H.: The ERATO systems biology workbench: Enabling interaction and exchange between software tools for computational biology. In: Proceedings of the Pacific Symposium on Biocomputing. (2002)
44. BioSpice(2004)https://community.biospice.org/.
45. IBM Discoverylink (2004) http://publib-b.boulder.ibm.com/Redbooks. nsf/0/3c7a635147cf20d785256a540064e287?OpenDocument& Highlight=0, DiscoveryLink.
46. geneticXchange (2004) http://midas-10.cs.ndsu.nodak.edu/bio/ppts/ chung.pdf.
47. Schmidt, A., Hall, A.: Guanine nucleotide exchange factors for rho gtpases: turning on the switch. Genes Dev. 16 (2002) 1587-15609
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-Verlag (2000)
49. Schmidt, K.: LoLA: A Low Level Analyser. In Nielsen, M., Simpson, D., eds.: Application and Theory of Petri Nets, 21st International Conference (ICATPN 2000). Volume 1825 of Lecture Notes in Computer Science., Springer (2000) 465-474
50. LoLA: Low Level Petri net Analyzer (2004) http://www.informatik. hu-berlin.de/~kschmidt/lola.html.
51. Schmidt, K.: Stubborn sets for standard properties. In: International Conference on Application and Theory of Petri nets. Volume 1639 of Lecture Notes in Computer Science., Springer (1999) 46-65
52. Porter, D.: An Interpreter for JLambda (2004) http://mcs.une.edu.au/~iop/ Data/Papers/.