Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 2004: Applications and Theory of Petri Nets 2004 pp 216–237Cite as

Petri Net Based Model Validation in Systems Biology

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3099))

Abstract

This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological systems. After a short introduction into systems biology we demonstrate how to develop and validate qualitative models of biological pathways in a systematic manner using the well-established Petri net analysis technique of place and transition invariants. We discuss special properties, which are characteristic ones for biological pathways, and give three representative case studies, which we model and analyse in more detail. The examples used in this paper cover signal transduction pathways as well as metabolic pathways.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bairoch, A.: The ENZYME Data Bank. Nucleic Acids Res. 21(3), 3155–3156 (1993)

    Article  Google Scholar 

  2. Berg, J.M., Tymoczko, J.L., Stryer, L.: Biochemistry, 5th edn. Freeman, New York (2002)

    Google Scholar 

  3. Chen, M., Hofestaedt, R.: Quantitative Petri Net Model of Gene Regulated Metabolic Networks in the Cell. Silico Biol. 3, 30 (2003)

    Google Scholar 

  4. Design/CPN, http://www.daimi.au.dk/designCPN/

  5. Fernie, A.R., Willmitzer, L., Trethewey, R.N.: Sucrose-to-starch: a Transition in Molecular Plant Physiology. Trends in Plant Sci. 7(1), 35–41 (2002)

    Article  Google Scholar 

  6. Genrich, H., Küffner, R., Voss, K.: Executable Petri Net Models for the Analysis of Metabolic Pathways. In: 21th International Conference on Application and Theory of Petri Nets. Workshop Proc. Practical Use of High-level Petri Nets, Aarhus, June 2000, pp. 1–14 (2000)

    Google Scholar 

  7. Heiner, M., Koch, I., Will, J.: Model Validation of Biological Pathways Using Petri Nets – Demonstrated for Apoptosis. Journal on BioSystems (2003) (in press)

    Google Scholar 

  8. Heinrich, R., Rapoport, T.A.: A Linear Steady-state Treatment of Enzymatic Chains: General Properties, Control and Effector Strength. Eur. J. Biochem. 42, 89–95 (1974)

    Article  Google Scholar 

  9. Hengartner, M.O.: The Biochemistry of Apoptosis. Nature 407, 770–776 (2000)

    Article  Google Scholar 

  10. Kacser, H., Burns, J.A.: The Control of Flux. Symp. Soc. Exp. Bio. 27, 65–104 (1973)

    Google Scholar 

  11. KEGG Kyoto Encyclopedia of Genes and Genomes, http://www.genome.ad.jp/kegg/pathway/hsa/hsa04210.html

  12. Koch, I., Schuster, S., Heiner, M.: Simulation and Analysis of Metabolic Networks Using Time-Dependent Petri Nets. In: Proc. of the German Conference on Bioinformatics (GCB 1999), Hannover, October 1999, pp. 208–209 (1999)

    Google Scholar 

  13. Koch, C., Laurent, G.: Complexity and the Nervous System. Science 284, 96–98 (1999)

    Article  Google Scholar 

  14. Koch, I., Junker, B., Heiner, M.: Application Petri Net Theory to Model Validation of the Sucrose-to-starch Pathway in Potato Tuber. Submitted to Bioinformatics (2003)

    Google Scholar 

  15. Kohn, M.C., Letzkus, W.J.: A Graph-theoretical Analysis of Metabolic Regulation. J. Theoret. Biol. 100, 293–304 (1983)

    Article  Google Scholar 

  16. Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petrinetzen. Berichte der GMD 82, Bonn (1973) (in German)

    Google Scholar 

  17. Lazlo, E.: The Systems View of the World. George Braziller, p. 5 (1972)

    Google Scholar 

  18. Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S.: Towards Biopathway Modeling and Simulation. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 3–22. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S.: Biopathways Representation and Simulation on Hybrid Functional Petri Net. Silico Biol. 3, 32 (2003)

    Google Scholar 

  20. Mendes, P.: Biochemistry by Numbers: Simulation of Biochemical Pathway with Gepasi 3. Trends Biochem. Sci. 22, 361–363 (1999)

    Article  Google Scholar 

  21. Narahari, Y., Suryanarayanan, K., Reddy, N.V.S.: Discrete Event Simulation of Distributed Systems Using Stochastic Petri Nets. Energy, Electronics, Computers, Communications, pp. 622–625 (1989)

    Google Scholar 

  22. Peccoud, J.: Stoch, PN for Genetic Networks. MS-Medicine Sciences 14, 991–993 (1998)

    Google Scholar 

  23. Petri, C. A.: Interpretations of Net Theory. GMD, Interner Bericht 75-07, 2nd improved edn., p. 26 (December 1976)

    Google Scholar 

  24. Pfeiffer, T., Sánchez-Valdenebro, I., Nuño, J.C., Montero, F., Schuster, S.: METATOOL: For Studying Metabolic Networks. Bioinformatics 15, 251–257 (1999)

    Article  Google Scholar 

  25. Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri Net Representation in Metabolic Pathways. In: Proc. First International Conference on Intelligent Systems for Molecular Biology, pp. 328–336. AAAI Press, Menlo Park (1993)

    Google Scholar 

  26. Reddy, V.N., Liebman, M.N., Mavrovouniotis, M.L.: Qualitative Analysis of Biochemical Reaction Systems. Comput. Biol. Med. 26(1), 9–24 (1996)

    Article  Google Scholar 

  27. Reisig, W.: Petri Nets; An Introduction. Springer, Heidelberg (1982)

    Google Scholar 

  28. Savageau, M.A.: Biochemical Systems Analysis, I. Some Mathematical Properties of the Rate Law for the Component Ezymatic Reactions. J. Theoret. Biol. 25, 365–369 (1969)

    Article  Google Scholar 

  29. Savageau, M.A.: Biochemical Systems Analysis, II. The Steady-state Solutions for an n- Pool System Using a Power-law Approximation. J. Theoret. Biol. 25, 370–379 (1969)

    Article  Google Scholar 

  30. Savageau, M.A.: Reconstructionist Molecular Biology. The New Biologist 3, 190–197 (1991)

    Google Scholar 

  31. Schuster, S., Hilgetag, C., Schuster, R.: Determining Elementary Modes of Functioning in Biochemical Reaction Networks at Steady State. In: Proc. Second Gauss Symposium, pp. 101–114 (1993)

    Google Scholar 

  32. Schuster, S., Pfeiffer, T., Moldenhauer, F., Koch, I., Dandekar, T.: Structural Analysis of Metabolic Networks: Elementary Flux Modes, Analogy to Petri Nets, and Application toMycoplasma pneumoniae. In: Proc. of the German Conference on Bioinformatics 2000, pp. 115–120. Logos Verlag, Berlin (2000)

    Google Scholar 

  33. Selkov, E., Basmanova, S., Gaasterland, T., Goryanin, I., Gretchkin, Y., Maltsev, N., Nenashev, V., Overbeek, R., Panyushkina, E., Pronevitch, L., Selkov Jr., E., Yunus, I.: The Metabolic Pathway Collection from ERM: the Enzyme and Metabolic Pathway Database. Nucleic Acids Res. 24(1), 26–29 (1996)

    Article  Google Scholar 

  34. Selkov Jr., E., Gretchkin, Y., Mikhailova, N., Selkov, E.: MPW: The Metabolic Pathways Database. Nucleic Acids Res. 26(1), 43–45 (1998)

    Article  Google Scholar 

  35. Starke, P.H.: INA - Integrated Net Analyzer. Manual, Berlin (1998)

    Google Scholar 

  36. Tomita, M., Hashimoto, K., Takahashi, K., Shimuzu, T.S., Matsuzaki, Y., Miyoshi, F., Saito, K., Tanida, S., Yugi, K., Venter, J.C., HUtchinson 3rd, C.A.: Software Enironment forWhole-cell Simulation. Bioinformatics 15, 72–84 (199)

    Google Scholar 

  37. Voit, E.O.: Computational Analysis of Biochemical Systems. Cambridge University Press, Cambridge (2000)

    Google Scholar 

  38. Voss, K., Heiner, M., Koch, I.: Steady State Analysis of Metabolic Pathways Using Petri Nets. Silico Biol. 3, 31 (2003)

    Google Scholar 

  39. Will, J., Heiner, M.: Petri Nets in Biology, Chemistry, and Medicine - Bibliography; Computer Science Reports 04/02, BTU Cottbus, p. 36 (November 2002)

    Google Scholar 

  40. Wingender, E., Chen, X., Fricke, E., Geffers, R., Hehl, R., Liebich, I., Krull, M., Matys, V., Michael, H., Ohnhauser, R., Pruss, M., Schacherer, F., Thiele, S., Urbach, S.: The Transfac System on Gene Expression Regulation. Nucl. Acids Res. 29(1), 281–283 (2001)

    Article  Google Scholar 

  41. Xenarios, I., Rice, D.W., Salwinski, L., Baron, M.K., Marcotte, E.M., Eisenberg, D.: Dip: the Database of Interacting Proteins. Nucl. Acids Res. 28(1), 289–291 (2000)

    Article  Google Scholar 

  42. Zeigarnik, A.V.: A Graph-Theoretical Model of Complex Reaction Mechanisms: Special Graphs for Characterization of the Linkage between the Routes in Complex Reactions Having Linear Mechanisms. Kinetics and Catalysis 35(5), 656–658 (1994)

    Google Scholar 

  43. Zimmer, R.: Petri Net Based Pathway Models of Biochemical Networks for the Interpretation of Expression Data. Supplement to the Proc. of the 2nd Workshop on Computation of Biochemical Pathways and Genetic Networks, EML Heidelberg, p. 10 (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Brandenburg University of Technology Cottbus, Postbox 10 13 44, 03013, Cottbus, Germany

    Monika Heiner

  2. Department of Bioinformatics, Technical University of Applied Sciences Berlin, Seestrasse 64, 13347, Berlin, Germany

    Ina Koch

Authors
  1. Monika Heiner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ina Koch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universitat Politècnica de Catalunya, Spain

    Jordi Cortadella

  2. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Wolfgang Reisig

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heiner, M., Koch, I. (2004). Petri Net Based Model Validation in Systems Biology. In: Cortadella, J., Reisig, W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27793-4_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27793-4_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22236-1

  • Online ISBN: 978-3-540-27793-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation