Abstract
The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places in a safe Petri net. The user can interactively specify goal states, such as activation of a particular protein in a particular cell site, and the system will automatically find and display a pathway that results in the goal state – if possible. The user can also require that the pathway be generated without using certian proteins. The system can also find all individual places and all pairs of places which, if knocked out, would prevent the goals from being achieved. The tool is intended to be used by biologists with no significant understanding of Petri nets or any of the other concepts used in the implementation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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
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.) RTA 2003. LNCS, vol. 2706, Springer, Heidelberg (2003)
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, January 2002, pp. 400–412 (2002), http://www.csl.sri.com/papers/lincoln-pathway-logic-psb-2002/
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. Electronic Notes in Theoretical Computer Science, vol. 71, Elsevier, Amsterdam (2002), http://www.elsevier.nl/locate/entcs/volume71.html
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, 1163–1196 (2001)
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, 57–82 (2003)
Hucka, M., et al.: The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524–531 (2003)
Genrich, H., Küffner, R., Voss, K.: Executable Petri net models for the analysis of metabolic pathways. Int. J. STTT 3 (2001)
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, 6750–6755 (1998)
Hofestädt, R.: A Petri net application to model metabolic processes. Syst. Anal. Mod. Simul. 16, 113–122 (1994)
Küffner, R., Zimmer, R., Lengauer, T.: Pathway analysis in metabolic databases via differential metabolic display (DMD). Bioinformatics 16, 825–836 (2000)
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)
Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)
Meseguer, J.: Rewriting logic and Maude: A wide-spectrum semantic framework for object-based distributed systems. In: Smith, S., Talcott, C.L. (eds.) Formal Methods for Open Object-based Distributed Systems, FMOODS 2000, pp. 89–117. Kluwer Academic Publishers, Dordrecht (2000)
Schmidt, K.: LoLA: A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, Springer, Heidelberg (2000)
Peleg, M., Yeh, I., Altman, R.B.: Modelling biological processes using workflow and Petri Net models. Bioinformatics 18(6), 837–852 (2002)
Reddy, V.N., Liebmann, M.N., Mavrovouniotis, M.L.: Qualitative analysis of biochemical reaction systems. Comput. Biol. Med. 26, 9–24 (1996)
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, Jan. 2004 (to appear, 2004)
Pathway logic, http://www.csl.sri.com/users/clt/PLweb/pl.html
Lola system, http://www.informatik.hu-berlin.de/top/lola/lola.html
The Petri Nets Bibliography, http://www.informatik.uni-hamburg.de/TGI/pnbib
The GraphViz Homepage, http://www.research.att.com/sw/tools/graphviz/
Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. In Silico Biology 3(0029) (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Dill, D.L., Knapp, M.A., Gage, P., Talcott, C., Laderoute, K., Lincoln, P. (2007). The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. In: Eskin, E., Ideker, T., Raphael, B., Workman, C. (eds) Systems Biology and Regulatory Genomics. RSB RRG 2005 2005. Lecture Notes in Computer Science(), vol 4023. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48540-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-48540-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48293-2
Online ISBN: 978-3-540-48540-7
eBook Packages: Computer ScienceComputer Science (R0)