Model validation of biological pathways using Petri nets - Demonstrated for apoptosis

BioSystems

Volumn 75, Issue 1-3, 2004, Pages 15-28

  Heiner, Monika ^a   Koch, Ina ^b   Will, Jürgen ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b TECHNICAL UNIVERSITY OF APPLIED SCIENCES WILDAU   (Germany)

Author keywords

Apoptosis; Model validation; Petri net; Signal transduction pathway; Transition invariant

Indexed keywords

APOPTOSIS; MODEL VALIDATION; MODELING; QUALITATIVE ANALYSIS; QUANTITATIVE ANALYSIS;

APOPTOSIS; CELL ACTIVITY; CELL CYCLE; CYTOLOGY; ENZYME ACTIVATION; HUMAN; METAZOON; MOLECULAR MECHANICS; MOLECULAR MODEL; NONHUMAN; PREDICTION; PROTEIN EXPRESSION; QUALITATIVE ANALYSIS; QUANTITATIVE ANALYSIS; REVIEW; SIGNAL TRANSDUCTION;

METAZOA;

EID: 3042699469     PISSN: 03032647     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.biosystems.2004.03.003     Document Type: Article

References (32)

1. Adams J., Cory S. The Bcl-2 protein family: arbiters of cell survival. Science. 289:1998;1322-1326
2. Burek, M., Oppenheim, R.W., 1999. Cellular interactions that regulate programmed cell death in the developing vertebrate nervous system. In: Koliatsos, V., Ratan, R. (Eds.), Cell Death and Disease of the Nervous System, vol. 1. Humana, Totowa, pp. 145-180.
3. Chan H.Y., Nishitoh H., Yang X., Ichijo H., Balitimore D. Activation of apoptosis signal-regulating Kinase 1 (ASK1) by the dadapter protein Daxx. Science. 281:1998;1860-1863
4. Chen, M., Hofestaedt, R., 2003. Quantitative Petri net model of gene regulated metabolic networks in the cell. Silico Biol. 3, 0030.
5. Chen Y.-R., Tan T.-H. Mammalian c-Jun N-terminal kinase pathway and STE20-related kinases. Gene Ther. Mol. Biol. 4:1999;83-98
6. Genrich, H., Küffner, R., Voss, K., 2000. Executable Petri net models for the analysis of metabolic pathways. In: Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Workshop Proceedings Practical Use of High-level Petri Nets, Aarhus. pp. 1-14.
7. Gross A. BCL-2 family members and the mitochondrion in apoptosis. Genes Dev. 13:1999;1899-1911
8. Heiner, M., Ventre, G., Wikarski, D., 1994. A Petri net based methodology to integrate qualitative and quantitative analysis. J. Inf. Software Technol., Special Issue on Software Engineering for Parallel Systems 36/7, pp. 435-441.
9. Heiner M., Deussen P., Spranger J. A case study in design and verification of manufacturing system control software with hierarchical Petri nets. Int. J. Adv. Manuf. Technol. 15:1999;139-152
10. Heiner, M., Koch, I., Voss, K., 2001. Analysis and simulation of steady states in metabolic pathways with Petri nets. In: Proceedings of the CPN Workshop, University of Aarhus. pp. 15-34.
11. Hengartner M.O. The biochemistry of apoptosis. Nature. 407:2000;770-776
12. Kerr J.F., Wyllie A.H., Currie A.R. Apoptosis: a basic phenomenon with wide-ranging implications in tissue kinetics. Br. J. Cancer. 26:1972;239-257
13. KEGG, 2003. Kyoto Encyclopedia of Genes and Genomes. http://www.genome. ad.jp/kegg/pathway/hsa/hsa04210.html.
14. Koch, I., Schuster, S., Heiner, M., 1999. Simulation and analysis of metabolic networks using time-dependent Petri nets. In: Proceedings of the German Conference on Bioinformatics (GCB'99), Hannover. pp. 208-209.
15. Löffler, G., Petrides, P.E., 1997. Biochemie und Pathobiochemie. Springer.
16. Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S., 2003a. Towards biopathway modeling and simulation. In: Proceedings of ICATPN 2003, LNCS 2679. Springer, pp. 3-22.
17. Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S., 2003b. Biopathways representation and simulation on hybrid functional Petri net. Silico Biol. 3, 0032.
18. Moldoff, K., Baudino, T., 2002. Apoptosis poster. Sigma Aldrich. http://www.sigmaaldrich.com/Area_of_Interest/Life_Science/Cell_Signaling/ Apoptosis_Poster.html.
19. Narahari, Y., Suryanarayanan, K., Reddy, N.V.S., 1989. Discrete event simulation of distributed systems using stochastic Petri nets. In: Energy, Electronics, Computers, Communications, pp. 622-625.
20. Nijhawan D., Honarpour N., Wang X. Apoptosis in neural development and disease. Ann. Rev. Neurosci. 23:2000;73-89
21. Oppenheim R.W. Cell death of motoneurons in the chick embryo spinal cord. V. Evidence on the role of cell death and neuromuscular function in the formation of specific peripheral connections. J. Neurosci. 1:1981;41-51
22. Peccoud J. Stochastic Petri nets for genetic networks. M.S.-Med. Sci. 14:1998;991-993
23. Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N., 1993. Petri net representation in metabolic pathways. In: Proceedings of the First International Conference on Intelligent Systems for Molecular Biology. AAAI Press, Menlo Park, pp. 328-336.
24. Reed J. Bcl-2 family proteins. Oncogene. 17:1998;3225-3236
25. Reed, J.C., 2002. Apoptosis poster. http://www.tocris.com/apopposter.htm.
26. Reisig, W., 1982. Petri Nets, An Introduction. Springer.
27. Schacherer, F.G.D., 2002. A Review of Biological Network Visualization. Biobase, Braunschweig. http://biovision.bic.nus.edu.sg/pathways.pdf.
28. Schuster, S., Pfeiffer, T., Moldenhauer, F., Koch, I., Dandekar, T., 2000. Structural analysis of metabolic networks: elementary flux modes, analogy to Petri nets, and application to Mycoplasma pneumoniae. In: Proceedings of the German Conference on Bioinformatics 2000, Logos. Verlag, Berlin, pp. 115-120.
29. Starke, P.H., 1998. INA-Integrated Net Analyzer, Manual. Humboldt University, Berlin.
30. Will, J., Heiner, M., 2002. Petri Nets in Biology, Chemistry, and Medicine - Bibliography. Computer Science Reports 04/02, BTU Cottbus.
31. Wyllie A.H. Apoptosis: an overview. Br. Med. Bull. 53:1997;451-465
32. Yuan J., Yankner B.A. Apoptosis in the nervous system. Nature. 407:2000;802-809