STEPP - Search Tool for Exploration of Petri net Paths: A new tool for petri net-based path analysis in biochemical networks

In Silico Biology

Volumn 5, Issue 2, 2005, Pages 129-137

  Koch, Ina ^a   Schüler, Markus ^a   Heiner, Monika ^b  

^a TECHNICAL UNIVERSITY OF APPLIED SCIENCES WILDAU   (Germany)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Biochemical networks; Graph theory; Metabolic networks; Path search with constraints; Petri nets; Potato tuber; Signal transduction networks; Sucrose to starch breakdown; Systems biology

Indexed keywords

ALGORITHM; ARTICLE; BIOCHEMISTRY; BIOINFORMATICS; CHEMICAL REACTION; COMPUTER INTERFACE; COMPUTER LANGUAGE; COMPUTER MODEL; COMPUTER NETWORK; COMPUTER PROGRAM; ENZYME ANALYSIS; GENETIC ANALYSIS; INFORMATION PROCESSING; INFORMATION RETRIEVAL; INTERNET; METABOLITE; PROTEIN DATABASE;

ALGORITHMS; COMPUTATIONAL BIOLOGY; COMPUTER SIMULATION; DATABASE MANAGEMENT SYSTEMS; DATABASES, FACTUAL; MODELS, BIOLOGICAL; PLANT PROTEINS; SIGNAL TRANSDUCTION; SOLANUM TUBEROSUM; SUCROSE; USER-COMPUTER INTERFACE;

EID: 22144460567     PISSN: 13866338     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Cormen, T. H., Leiserson, C. E., Rivest, R. L. and Stein, C. (2001). Introduction to algorithms. The MIT Press, Cambridge, Masschusetts, London, England.
2. Heiner, M., Koch, I. and Will, J. (2004). Model validation of biological pathways using Petri nets - demonstrated for apoptosis. Biosystems 75, 15-28.
3. Heiner, M. and Koch, I. (2004). Petri Net Based Model Validation in Systems Biology Proc. IACATPN, Springer Verlag, Berlin, LNCS 3099, 216-237.
4. Hofestädt, R. (1994). A Petri net Application of Metabolic Processes. J. System Analysis, Modelling, and Simulation 16, 113-122.
5. Hofestädt, R. and Thelen, S. (1998). Quantitative Modelling of Biochemical Networks. In Silico Biol. 1, 0006.
6. Kanehisa, M. and Goto, S. (2000). KEGG: Kyoto Encyclopedia of Genes and Genomes. Nucleic Acids Res. 28, 27-30.
7. Koch, I., Junker, B. H. and Heiner, M. (2004). Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics, Advance Access, Nov. 16.
8. Matsuno, H., Fujita, S., Doi, A., Nagasaki, M. and Miyano, S. (2003). Towards Pathway Modelling and Simulation. In: Applications and Theory of Petri Nets 2003, Proc. IACATPN, van der Aalst, W. and Best, E. (eds.), Springer Verlag, Berlin, LNCS 2679, 3-22.
9. Murata, T. (1989). Petri nets: Properties, analysis, and applications. Proc. of the IEEE 77, 541-580.
10. Reddy, V. N., Mavrovouniotis, M. L. and Liebman, M. N.(1993). Petri Net Representation in Metabolic Pathways. Proc. Int. Conf. Intell. Syst. Mol. Biol. 1, 328-336.
11. Reddy, V. N., Mavrovouniotis, M. L. and Liebman, M. N.(1996). Qualitative analysis of biochemical reaction systems. Comput. Biol. Med. 26, 9-24.
12. Starke, P. H. and Roch, S. (1999). Manual: INA - The Intergrated Net Analyzer, http://www.informatik.huberlin.de/~starke/ina.html, Humboldt University, Berlin.
13. Voss, K., Heiner, M. and Koch, I. (2003). Steady State Analysis of metabolic pathways using Petri nets. In Silico Biol. 3, 0031.