Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways

MOTIVATION Cellular signaling networks are dynamic systems that propagate and process information, and, ultimately, cause phenotypical responses. Understanding the circuitry of the information flow in cells is one of the keys to understanding complex cellular processes. The development of computational quantitative models is a promising avenue for attaining this goal. Not only does the analysis of the simulation data based on the concentration variations of biological compounds yields information about systemic state changes, but it is also very helpful for obtaining information about the dynamics of signal propagation. RESULTS This article introduces a new method for analyzing the dynamics of signal propagation in signaling pathways using Petri net theory. The method is demonstrated with the Ca(2+)/calmodulin-dependent protein kinase II (CaMKII) regulation network. The results constitute temporal information about signal propagation in the network, a simplified graphical representation of the network and of the signal propagation dynamics and a characterization of some signaling routes as regulation motifs.

[1]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[2]  Pierre N. Robillard,et al.  Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches , 2004, J. Bioinform. Comput. Biol..

[3]  Monika Heiner,et al.  Steady state analysis of metabolic pathways using Petri nets , 2003, Silico Biol..

[4]  Hiroshi Matsuno,et al.  A new regulatory interaction suggested by simulations for circadian genetic control mechanism in mammals , 2006, APBC.

[5]  S. Shenolikar,et al.  Gating of CaMKII by cAMP-regulated protein phosphatase activity during LTP. , 1998, Science.

[6]  Upinder S. Bhalla,et al.  The Database of Quantitative Cellular Signaling: management and analysis of chemical kinetic models of signaling networks , 2003, Bioinform..

[7]  Michael L. Mavrovouniotis,et al.  Petri Net Representations in Metabolic Pathways , 1993, ISMB.

[8]  Gong-Xin Yu,et al.  Ruleminer: a Knowledge System for Supporting High-throughput Protein Function Annotations , 2004, J. Bioinform. Comput. Biol..

[9]  Ravi Iyengar.  Gating by Cyclic AMP: Expanded Role for an Old Signaling Pathway , 1996, Science.

[10]  Stefan Schuster,et al.  Topological analysis of metabolic networks based on Petri net theory , 2003, Silico Biol..

[11]  Masao Nagasaki,et al.  Genomic Object Net: I. A platform for modelling and simulating biopathways. , 2003, Applied bioinformatics.

[12]  Monika Heiner,et al.  Application of Petri net based analysis techniques to signal transduction pathways , 2006, BMC Bioinformatics.

[13]  Hiroshi Matsuno,et al.  Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets , 2006, J. Bioinform. Comput. Biol..

[14]  O Mason,et al.  Graph theory and networks in Biology. , 2006, IET systems biology.

[15]  U. Bhalla,et al.  Emergent properties of networks of biological signaling pathways. , 1999, Science.

[16]  Ravi Iyengar,et al.  Computational approaches for modeling regulatory cellular networks. , 2004, Trends in cell biology.

[17]  Richard Banks,et al.  Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach , 2007, Bioinform..

[18]  C. Petri.  Kommunikation mit Automaten , 1962 .