A unique transformation from ordinary differential equations to reaction networks

PLoS ONE

Volumn 5, Issue 12, 2010, Pages

  Soliman, Sylvain ^a   Heiner, Monika ^b  

^a INRIA ROCQUENCOURT   (France)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS TO INFORMATION; ARTICLE; BIOCHEMISTRY; COMPUTER PROGRAM; INFORMATION PROCESSING; INTERNET; MARKUP LANGUAGE; MATHEMATICAL ANALYSIS; QUALITATIVE ANALYSIS; SIGNAL TRANSDUCTION; STEADY STATE; STOCHASTIC MODEL; SYSTEMS BIOLOGY; ALGORITHM; ANIMAL; BIOLOGICAL MODEL; BIOLOGY; COMPUTER LANGUAGE; FACTUAL DATABASE; KINETICS; METHODOLOGY; STATISTICAL MODEL; STATISTICS; THEORETICAL MODEL;

ALGORITHMS; ANIMALS; COMPUTATIONAL BIOLOGY; DATABASES, FACTUAL; KINETICS; MODELS, BIOLOGICAL; MODELS, STATISTICAL; MODELS, THEORETICAL; PROGRAMMING LANGUAGES; SIGNAL TRANSDUCTION; STOCHASTIC PROCESSES; SYSTEMS BIOLOGY;

EID: 78650971919     PISSN: None     EISSN: 19326203     Source Type: Journal    
DOI: 10.1371/journal.pone.0014284     Document Type: Article

References (33)

1. Ermentrout B (2002) Simulating, Analyzing, and Animating Dynamical Systems: A Guide to XPPAUT for Researchers and Students. Philadelphia: SIAM, Available: http://www.math.pitt.edu/bard/xpp/xpp.html.
2. Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, et al. (2003) The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 19: 524-531.
3. Hoops S, Sahle S, Gauges R, Lee C, Pahle J, et al. (2006) Copasi - a complex pathway simulator. BioInformatics 22: 3067-3074.
4. Kaleta C, Richter S, Dittrich P (2009) Using chemical organization theory for model checking. Bioinformatics 25: 1915-1922.
5. Schuster S, Fell DA, Dandekar T (2002) A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks. Nature Biotechnology 18: 326-332.
6. Palsson B (2006) Systems Biology: Properties of Reconstructed Networks. Cambridge: Cambridge University Press.
7. Varma A, Palsson B (1994) Metabolic flux balancing: basic concepts, scientific and practical use. Nature Biotechnology 12: 994-998.
8. Dittrich P, di Fenizio P (2007) Chemical organisation theory. Bulletin of Mathematical Biology 69: 1199-1231.
9. Feinberg M (1977) Mathematical aspects of mass action kinetics. In: Lapidus L, Amundson NR, eds. Chemical Reactor Theory: A Review Prentice-Hall. Pp 1-78.
10. Shinar G, Feinberg M (2010) Structural sources of robustness in biochemical reaction networks. Science 327: 1389-1391.
11. Heiner M, Koch I (2004) Petri Net Based Model Validation in Systems Biology. In: Proc. 25th ICATPN 2004, LNCS 3099. Springer. pp 216-237.
12. Heiner M, Gilbert D, Donaldson R (2008) Petri nets in systems and synthetic biology. In: Schools on Formal Methods (SFM); LNCS 5016. Springer. Pp 215-264.
13. Clark A, Gilmore S, Guerriero ML, Kemper P (2010) On verifying bio-pepa models. In: CMSB '10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology. New York: ACM. pp 23-32. doi:http://doi.acm.org/10.1145/1839764.1839769.
14. Heiner M (2009) Understanding network behaviour by structured representations of transition invariants. In: Condon A, ed. Algorithmic Bioprocesses; Natural Computing series Springer. pp 367-389.
15. Koh G, Teong H, Clement MV, Hsu D, Thiagarajan P (2006) A Decompositional Approach to Parameter Estimation in Pathway Modeling: a Case Study of the Akt and MAPK Pathways and their Crosstalk. Bioinformatics 22: e271-e280.
16. Angeli D, De Leenheer P, Sontag E (2007) A Petri net approach to persistence analysis in chemical reaction networks. In: Biology and Control Theory: Current Challenges; LNCI 357 Springer. pp 181-216.
17. Heiner M, Sriram K (2010) Structural analysis to determine the core of hypoxia response network. PLoS ONE 5: e8600.
18. Nabli F, Soliman S (2010) Steady-state solution of biochemical systems, beyond s-systems via t-invariants. In: CMSB '10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology. New York: ACM. pp 14-22. doi: http://doi.acm.org/10.1145/1839764.1839768.
19. Goss PJE, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95: 2340-2361.
20. Heiner M, Donaldson R, Gilbert D (2010) Petri Nets for Systems Biology, In: Iyengar MS, ed. Symbolic Systems Biology: Theory and Methods Jones and Bartlett Publishers, Inc.
21. le Novère N, Bornstein B, Broicher A, Courtot M, Donizelli M, et al. (2006) Bio Models Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acid Research 1: D689-D691.
22. Gilbert D, Heiner M (2006) From Petri nets to differential equations - an integrative approach for biochemical network analysis. In: Proc. ICATPN 2006; LNCS 4024. Springer. pp 181-200.
23. Gend CV, Kummer U (2001) STODE - automatic stochastic simulation of systems described by differential equations. In: Yi TM, Hucka M, Morohashi M, Kitano H, eds. Proceedings of the 2nd International Conference on Systems Biology. Madison, WI: Omnipress. pp 326-333.
24. Dematté L, Priami C, Romanel A (2008) The BlenX language: A tutorial. In: Bernardo M, Degano P, Zavattaro G, eds. 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology SFM'08; volume 5016 of Lecture Notes in Computer Science. Bertinoro, Italy: Springer-Verlag. pp 313-365.
25. Dematte L, Priami C, Romanel A (2008) The beta workbench: a computational tool to study the dynamics of biological systems. Brief Bioinform 9: 437-449.
26. Euler L (1809) De resolutione fractionum compositarum in simpliciores. Mémoires de l9Académie des sciences de St-Pétersbourg 1: 3-25.
27. Bause F, Kemper P, Kritzinger P (1994) Abstract Petri Net Notation. Technical report, Univ. Dortmund, CS Dep.
28. Soliman S (2009) Modelling biochemical reaction networks with biocham extracting qualitative and quantitative information from the structure. In: Proceedings of the 6th Vienna Conference on Mathematical Modelling MATHMOD'09. ARGESIM, volume 35: 2304-2312.
29. Yamada S, Shiono S, Joo A, Yoshimura A (2003) Control mechanism of jak/stat signal transduction pathway. FEBS Letters 534: 190-196.
30. Singh A, Jayaraman A, Hahn J (2006) Modeling regulatory mechanisms in il-6 signal transduction in hepatocytes. Biotechnology and Bioengineering 95: 850-862.
31. Rohr C, Marwan W, Heiner M (2010) Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26: 974-975.
32. Funahashi A, Matsuoka Y, Jouraku A, Morohashi M, Kikuchi N, et al. (2008) Celldesigner 3.5: A versatile modeling tool for biochemical networks. Proceedings of the IEEE 96: 1254-1265.
33. Brightman F, Fell D (2000) Differential feedback regulation of the MAPK cascade underlies the quantitative differences in EGF and NGF signalling in PC12 cells. FEBS letters 482: 169-174.