Simplification of a complex signal transduction model using invariants and flow equivalent servers

Theoretical Computer Science

Volumn 412, Issue 43, 2011, Pages 6036-6057

  Cordero, Francesca ^a,b   Horváth, András ^a   Manini, Daniele ^a   Napione, Lucia ^a,c   De Pierro, Massimiliano ^a   Pavan, Simona ^a,c   Picco, Andrea ^d   Veglio, Andrea ^a,c   Sereno, Matteo ^a   Bussolino, Federico ^a,c   Balbo, Gianfranco ^a  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c CANDIOLO CANCER INSTITUTE   (Italy)

^d Research Unit of Cell Biology and Biophysics   (Germany)

Author keywords

Angiogenesis; Flow equivalent server; Model simplification; Petri nets; Systems biology

Indexed keywords

BACTERIOPHAGES; PETRI NETS;

ANGIOGENESIS; BIOLOGICAL PRODUCTS; COMPUTATIONAL AND STRUCTURAL COMPLEXITY; FUNCTIONAL PROPERTIES; MODEL SIMPLIFICATION; SIGNAL TRANSDUCTION PATHWAYS; STRUCTURAL ASPECTS; SYSTEMS BIOLOGY;

SIGNAL TRANSDUCTION;

EID: 80054813684     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2011.06.013     Document Type: Article

References (41)

1. M. Ajmone Marsan, G. Balbo, G. Conte, A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems, ACM Transactions on Computer Systems 2 (1) (1984).
2. A. Angius, G. Balbo, F. Cordero, A. Horvath, D. Manini, Comparison of approximate kinetics for unireactant enzymes: Michaelis-Menten against the equivalent server, in: Proceedings of the International Workshop on Biological Processes and Petri Nets, BioPPN, 2010.
3. S. Baarir, M. Beccuti, D. Cerotti, M. De Pierro, S. Donatelli, G. Franceschinis, The Great SPN tool: recent enhancements, ACM SIGMETRICS, Performance Evaluation Review 36 (4) (2009) 4-9.
4. G. Balbo, Introduction to stochastic Petri nets, in: E. Brinksma, H. Hermanns, J.-P. Katoen (Eds.), Lectures on Formal Mathods and Performance Analysis, in: LNCS, vol. 2090, Springer, Berlin, Germany, 2001, pp. 1-37.
5. H. Busch, W. Sandmann, V. Wolf, A numerical aggregation algorithm for the enzyme-catalyzed substrate conversion, in: Computational Methods in Systems Biology, in: LNCS, vol. 4210, Springer, 2006, pp. 298-311.
6. M. Calder, V. Vyshemirsky, D. Gilbert, R. Orton, Analysis of signalling pathways using continuous time Markov chains, Transactions on Computational Systems Biology VI 4 (2006) 44-67.
7. K.M. Chandy, U. Herzog, L.S. Woo, Parametric analysis of queueing networks, IBM Journal of R. & D. 19 (1) (1975) 36-42.
8. I.-C. Chou, E. O. Voit, Recent developments in parameter estimation and structure identification of biochemical and genomic systems, Mathematical Biosciences 219 (2) (2009) 57-83.
9. M. Dance, A. Montagner, A. Yart, B. Masri, Y. Audigier, B. Perret, J. Salles, P. Raynal, The adaptor protein Gab1 couples the stimulation of vascular endothelial growth factor receptor-2 to the activation of phosphoinositide 3-kinase, Journal of Biological Chemestry 281 (2006) 23285-23295.
10. P.J. Denning, J.P. Buzen, The operational analysis of queueing network models, ACM Computing Surveys 10 (3) (1978) 225-261.
11. W. Feller, An Introduction to Probability Theory and its Applications, Vol. 1, John Wiley, 1968.
12. H. Gerber, A. McMurtrey, J. Kowalski, M. Yan, B. Keyt, V. Dixit, N. Ferrara, Vascular endothelial growth factor regulates endothelial cell survival through the phosphatidylinositol 3'-kinase/Akt signal transduction pathway. requirement for Flk-1/KDR activation, Journal of Biological Chemestry 273 (1998) 30336-30343.
13. D. Gillespie, A rigorous derivation of the master chemical equation, Physica 188 (1992) 404-425.
14. P. Goss, J. Pecoud, Quantitative modelingofstochasticsystemsinmolecularbiologybyusing stochasticPetri nets, Proceedings of the National Academy of Sciences 95 (12) (1998) 6750-6755.
15. E. Grafahrend-Belau, F. Schreiber, M. Heiner, A. Sackmann, B. Junker, S. Grunwald, A. Speer, K. Winder, I. Koch, Modularizationofbiochemical networks based on classification of Petri net t-invariants, BMC Bioinformatics 9 (2008).
16. J. Heath, M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, Probabilistic Model Checking of Complex Biological Pathways, Springer, 2006, pp. 32-47.
17. M. Heiner, D. Gilbert, R. Donaldson, Petri nets for systems and synthetic biology, in: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, in: LNCS, Springer, Bertinoro, Italy, 2008, pp. 215-264.
18. M. Heiner, I. Koch, J. Will, Model validation of biological pathways using Petri nets demonstrated for apoptosis, BioSystems 75 (2004) 10-28.
19. M. Heiner, C. Mahulea, M. Silva, Onthe importance of the deadlock trapproperty for monotonicliveness, in:Proceedings of the International Workshop on Biological Processes and Petri Nets, BioPPN, 2010.
20. R. Hofestädt, A Petri net application of metabolic processes, Journal of System Analysis, Modeling and Simulation 16 (1994) 113-122.
21. R. Hofestädt, S. Thelen, Quantitative modeling of biochemical networks, In Silico Biology 1 (6) (1998).
22. T.G. Kurtz, The relationship between stochastic and deterministic models for chemical reactions, Journal of Chemical Physics57 (7) (1972) 2976-2978.
23. M. Laramée, C. Chabot, M. Cloutier, R. Stenne, M. Holgado-Madruga, A. Wong, I. Royal, The scaffolding adapter Gab1 mediates Vascular Endothelial Growth factor signaling andis required for endothelial cell migration and capillary formation, Journal of Biological Chemestry 282 (2007) 7758-7769.
24. MEDDLY, 2010. Webpage. http://sourceforge.net/projects/meddly.
25. G. Memmi, J. Vautherin, Advanced algebraic techniques, in: W. Brawer, W. Reisig, G. Rozenberg (Eds.), Advances on Petri Nets '86-Part I, in: LNCS, vol. 254, Springer Verlag, Bad Honnef, West Germany, 1987.
26. A. Miner, J. Babar, M. Beccuti, S. Donatelli, Greatspn enhanced with decision diagram data structures, in: Proc. 31-st Int. Conf. Applications and Theory of Petri Nets ICATPN 2010, in: LNCS, vol. 6128, Springer, Braga, Portugal, 2010, pp. 308-317.
27. M.K. Molloy, Performance analysis using stochastic Petri nets, IEEE Transaction on Computers 31 (9) (1982) 913-917.
28. T. Murata, Petri nets: properties, analysis, and applications, Proceedings of the IEEE 77 (4) (1989) 541-580.
29. L. Napione, D. Manini, F. Cordero, A. Horváth, A. Picco, M.D. Pierro, S. Pavan, M. Sereno, A. Veglio, F. Bussolino, G. Balbo, On the use of stochastic Petri nets in the analysis of signal transduction pathways for angiogenesis process, in: Proc. of The 7th Conference on Computational Methods in Systems Biology, CMSB 2009, in: Lecture Notes in Bioinformatics, vol. 5688, Bologna, Italy, 2009, 281-295.
30. S. Natkin, Les réseaux de Petri stochastiques et leur application à l'évaluation des systèmes informatiques, Thèse de Docteur Ingégneur, CNAM, 1980.
31. A. Olsson, A. Dimberg, J. Kreuger, L. Claesson-Welsh, Vegf receptor signalingin control of vascular function, Nature Reviews Molecular Cell Biology 7 (5) (2006) 359-371.
32. V. Reddy, M. Mavrovouniotis, M. Liebman, Petri net representation in metabolic pathways, in: Proc. Int. Conf. Intelligent Systems for Molecular Biology, 1993, pp. 328-336.
33. W. Reisig, A Primer in Petri Net Design, Springer Compass International, 1992.
34. H. Sauro, B. Ingalls, Conservation analysis in biochemical networks: computational issues for software writers, Biophysical Chemistry 109 (1) (2004) 1-15.
35. I. H. Segel, Enzyme Kinetics: Behavior and Analysis of Rapid Equilibrium and Steady State Enzyme Systems, Wiley, New York, 1993.
36. W.J. Stewart, Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling, Princeton University Press, 2009 (Chapter 15).
37. T. Takahashi, H. Ueno, M. Shibuya, VEGF activates protein kinase C-dependent, but Ras-independent Raf-MEK-MAP kinase pathway for DNA synthesis in primary endothelial cells, Oncogene 18 (1999) 2221-2230.
38. A.R. Tzafriri, Michaelis-Menten kinetics at high enzyme concentrations, Bulletin of Mathematical Biology 65 (2003) 1111-1129.
39. R. Vallabhajosyula, V. Chickarmane, H. Sauro, Conservation analysis of large biochemical networks, Bioinformatics 22 (2006) 346-353.
40. R.R. Vallabhajosyula, H.M. Sauro, Complexity reduction of biochemical networks, in: Winter Simulation Conference, 2006, pp. 1690-1697.
41. E.O. Voit, Computational Analysis of Biochemical Systems, Cambridge University Press, 2000.