On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process

In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large number of parameters and the data available from wet-lab experiments are not sufficient to obtain reliable estimates for all of them. To overcome this problem, we suggest ways to simplify the detailed representation that result in models with a smaller number of parameters still capturing the overall behaviour of the detailed one. Starting from a detailed stochastic Petri net (SPN) model that accounts for all the reactions of the signal transduction cascade, using structural properties combined with the knowledge of the biological phenomena, we propose a set of model reductions.

[1]  David R. Gilbert,et al.  Analysis of Signalling Pathways Using Continuous Time Markov Chains , 2006, Trans. Comp. Sys. Biology.

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

[3]  Monika Heiner,et al.  A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets , 2007, CMSB.

[4]  R. Stenne,et al.  The Scaffolding Adapter Gab1 Mediates Vascular Endothelial Growth Factor Signaling and Is Required for Endothelial Cell Migration and Capillary Formation* , 2007, Journal of Biological Chemistry.

[5]  Corrado Priami,et al.  Transactions on Computational Systems Biology VI , 2006, Trans. Computational Systems Biology.

[6]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[7]  Ian Stark,et al.  The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.

[8]  Gianfranco Balbo,et al.  Introduction to Stochastic Petri Nets , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[9]  Werner Sandmann,et al.  A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion , 2006, CMSB.

[10]  Joost-Pieter Katoen,et al.  Lectures on Formal Methods and PerformanceAnalysis , 2001, Lecture Notes in Computer Science.

[11]  J. Salles,et al.  The Adaptor Protein Gab1 Couples the Stimulation of Vascular Endothelial Growth Factor Receptor-2 to the Activation of Phosphoinositide 3-Kinase* , 2006, Journal of Biological Chemistry.

[12]  Monika Heiner,et al.  Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis , 2003, CMSB.

[13]  M. Shibuya,et al.  VEGF activates protein kinase C-dependent, but Ras-independent Raf-MEK-MAP kinase pathway for DNA synthesis in primary endothelial cells , 1999, Oncogene.

[14]  Ralf Hofestädt,et al.  A petri net application to model metabolic processes , 1994 .

[15]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[16]  D. Gillespie.  A rigorous derivation of the chemical master equation , 1992 .

[17]  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.

[18]  Vishva Dixit,et al.  Vascular Endothelial Growth Factor Regulates Endothelial Cell Survival through the Phosphatidylinositol 3′-Kinase/Akt Signal Transduction Pathway , 1998, The Journal of Biological Chemistry.

[19]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1985 , 1985, Lecture Notes in Computer Science.

[20]  Souheib Baarir,et al.  The GreatSPN tool: recent enhancements , 2009, PERV.

[21]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .