Abstract
Petri nets are directed, weighted bipartite graphs that have successfully been applied to the systems biology of metabolic and signal transduction pathways in modeling both stochastic (discrete) and deterministic (continuous) processes. Here we exemplify how molecular mechanisms, biochemical or genetic, can be consistently respresented in the form of place/transition Petri nets. We then describe the application of Petri nets to the reconstruction of molecular and genetic networks from experimental data and their power to represent biological processes with arbitrary degree of resolution of the subprocesses at the cellular and the molecular level. Petri nets are executable formal language models that permit the unambiguous visualization of regulatory mechanisms, and they can be used to encode the results of mathematical algorithms for the reconstruction of causal interaction networks from experimental time series data.











Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Baumgarten B (1996) Petri-Netze—Grundlagen und Anwendungen. Spektrum Akademischer Verlag, Heidelberg
Chen M, Hofestaedt R (2003) Quantitative Petri net model of gene regulated metabolic networks in the cell. In Silico Biol 3:347–365
David R, Alla H (2005) Discrete, continuous, and hybrid Petri nets. Springer, Heidelberg
Durzinsky M, Wagler A, Weismantel R (2008a) A combinatorial approach to reconstruct Petri nets from experimental data. In: Heiner M, Uhrmacher AM (eds) Computational methods in systems biology. Springer-Verlag, Berlin, Rostock, LNBI 5307, pp 328–346
Durzinsky M, Wagler A, Weismantel R, Marwan W (2008b) Automatic reconstruction of molecular and genetic networks from experimental time series data. BioSystems 93:181–190
Goss PJE, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95:6750–6755
Hardy S, Robillard PN (2005) Phenomenological and molecular-level Petri net modeling and simulation of long-term potentiation. BioSystems 82:26–38
Heiner M, Koch I, Will J (2004) Model validation of biological pathways using Petri nets—demonstrated for apoptosis. BioSystems 75:15–28
Heiner M, Gilbert D, Donaldson R (2008a) Petri nets for systems and synthetic biology. In: Bernardo M, Degano P, Zavattoro G (eds) Formal methods for computational systems biology, LNCS 5016. Springer, Heidelberg, pp 215–264
Heiner M, Lehrack S, Rohr C (2008b) SNOOPY download: http://www.informatik.tu-cottbus.de/%7Esnoopy/download/snoopy-beta-2008-04-03-win-release.zip
Hofestädt R (1994) A Petri net application of metabolic processes. Syst Anal Model Simul 16:113–122
Hofestädt R, Thelen S (1998) Quantitative modelling of biochemical networks. In Silico Biol 1:39–53
Koch I, Heiner M (2008) Petri nets. In: Junker BH, Schreiber F (eds) Analysis of biological networks. John Wiley & Sons, Hoboken, New Jersey, pp 139–180
Koch I, Junker BH, Heiner M (2005) Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics 21:1219–1226
Küffner R, Zimmer R, Lengauer T (2000) Pathway analysis in metabolic databases via differential metabolic display (dmd). Bioinformatics 16:825–836
Marsan MA, Balbo G, Conte S, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. John Wiley and Sons, New York
Marwan W, Sujatha A, Starostzik C (2005) Reconstructing the regulatory network controling commitment and sporulation in Physarum polycephalum based on hierarchical Petri net modeling and simulation. J Theor Biol 236:349–365
Marwan W, Wagler A, Weismantel R (2008) A mathematical approach to solve the network reconstruction problem. Math Methods Oper Res 67:117–132
Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S (2003) Biopathways representation and simulation on hybrid functional Petri net. In Silico Biol 3:389–404
Mayo M (2005) Learning Petri net models of non-linear gene interactions. BioSystems 82:74–82
Moore JH, Hahn LW (2003) Petri net modeling of high-order genetic systems using grammatical evolution. BioSystems 72:177–186
Nelson D, Cox M (2005) Lehninger Biochemie. Springer-Verlag, Berlin
Nutsch T, Oesterhelt D, Gilles ED, Marwan W (2005) The switch cycle of an archaeal flagellar motor and its sensory control. Biophys J 89:2307–2323
Pinney JW, Westhead RD, McConkey GA (2003) Petri Net representations in systems biology. Biochem Soc Trans 31:1513–1515
Reddy VN, Mavrovouniotis ML, Liebmann MN (1993) Petri net representation in metabolic pathways. In: Proceedings of the First International Conference on Intelligent Systems for Molecular Biology, ISMB 1993. AAAI Press, Menlo Park, Bethesda, MD, USA, pp 328–336
Rosenstengel B, Winand U (1991) Petri-Netze: eine anwendungsorientierte Einführung. Vieweg, Braunschweig
Sackmann A, Heiner M, Koch I (2006) Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 7:482.
Srivastava R, Peterson MS, Bentley WE (2001) Stochastic kinetic analysis of the Escherichia coli stress circuit using sigma32-targeted antisense. Biotechnol Bioeng 75:120–129
Voss K, Heiner M, Koch I (2003) Steady state analysis of metabolic pathways using Petri nets. In Silico Biol 3:367–387
Wagler A, Weismantel R (this issue) The combinatorics of modeling and analyzing biological systems.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Marwan, W., Wagler, A. & Weismantel, R. Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks. Nat Comput 10, 639–654 (2011). https://doi.org/10.1007/s11047-009-9152-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-009-9152-x