Model transformation of metabolic networks using a Petri net based framework

CEUR Workshop Proceedings

Volumn 827, Issue , 2010, Pages 103-117

  Machado, Daniel ^a   Costa, Rafael S ^a   Rocha, Miguel ^a   Rocha, Isabel ^a   Tidor, Bruce ^b   Ferreira, Eugénio C ^a  

^a UNIVERSITY OF MINHO   (Portugal)

^b Massachusetts Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CENTRAL CARBON METABOLISMS; LEVELS OF ABSTRACTION; LEVELS OF DETAIL; METABOLIC NETWORK; MODEL REDUCTION METHOD; MODEL TRANSFORMATION; PETRI NET THEORIES; TRANSFORMATION TECHNIQUES;

COMPLEX NETWORKS; ESCHERICHIA COLI; MATHEMATICAL MODELS; METABOLISM;

PETRI NETS;

EID: 84890489856     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. S.A. Becker, A.M. Feist, M.L. Mo, G. Hannum, B.Ø. Palsson, and M.J. Herrgard. Quantitative prediction of cellular metabolism with constraint-based models: the COBRA Toolbox. Nature Protocols, 2(3):727-738, 2007.
2. A.P. Burgard, P. Pharkya, and C.D. Maranas. Optknock: A bilevel programming framework for identifying gene knockout strategies for microbial strain optimization. Biotechnology and Bioengineering, 84(6):647-657, 2003.
3. C. Chassagnole, N. Noisommit-Rizzi, J.W. Schmid, K. Mauch, and M. Reuss. Dynamic modeling of the central carbon metabolism of Escherichia coli. Biotechnology and Bioengineering, 79(1):53-73, 2002.
4. R. David and H. Alla. Discrete, continuous, and hybrid Petri nets. Springer Verlag, 2005.
5. A.M. Feist, C.S. Henry, J.L. Reed, M. Krummenacker, A.R. Joyce, P.D. Karp, L.J. Broadbelt, V. Hatzimanikatis, and B.Ø. Palsson. A genome-scale metabolic reconstruction for Escherichia coli K-12 MG1655 that accounts for 1260 ORFs and thermodynamic information. Molecular systems biology, 3(1), 2007.
6. A. Finney. Developing SBML beyond level 2: proposals for development. In Computational Methods in Systems Biology, pages 242-247. Springer, 2005.
7. D. Gilbert and M. Heiner. From Petri nets to differential equations-an integrative approach for biochemical network analysis. Petri Nets and Other Models of Concurrency-ICATPN 2006, pages 181-200, 2006.
8. C. Girault and R. Valk. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2001.
9. E. Grafahrend-Belau, F. Schreiber, M. Heiner, A. Sackmann, B.H. Junker, S. Grunwald, A. Speer, K. Winder, and I. Koch. Modularization of biochemical networks based on classification of Petri net t-invariants. BMC bioinformatics, 9(1):90, 2008.
10. J.J. Heijnen. Approximative kinetic formats used in metabolic network modeling. Biotechnology and bioengineering, 91(5):534-545, 2005.
11. M. Heiner. Understanding Network Behavior by Structured Representations of Transition Invariants. Algorithmic Bioprocesses, page 367, 2009.
12. M. Heiner and K. Sriram. Structural analysis to determine the core of hypoxia response network. PloS one, 5(1):e8600, 2010.
13. S. Hoops, S. Sahle, R. Gauges, C. Lee, J. Pahle, N. Simus, M. Singhal, L. Xu, P. Mendes, and U. Kummer. COPASI-a COmplex PAthway SImulator. Bioinformatics, 22(24):3067-3074, 2006.
14. N. Jamshidi and B.Ø. Palsson. Mass action stoichiometric simulation models: Incorporating kinetics and regulation into stoichiometric models. Biophysical Journal, 98:175-185, 2010.
15. D. Machado, R.S. Costa, M. Rocha, I. Rocha, B. Tidor, and E.C. Ferreira. A critical review on modelling formalisms and simulation tools in computational biosystems. In Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, pages 1063-1070. Springer, 2009.
16. R. Mahadevan, J.S. Edwards, and F.J. Doyle. Dynamic flux balance analysis of diauxic growth in Escherichia coli. Biophysical journal, 83(3):1331-1340, 2002.
17. I.E. Nikerel, W.A. van Winden, P.J.T. Verheijen, and J.J. Heijnen. Model reduction and a priori kinetic parameter identifiability analysis using metabolome time series for metabolic reaction networks with linlog kinetics. Metabolic Engineering, 11(1):20-30, 2009.
18. D. Noble. The rise of computational biology. Nature Reviews Molecular Cell Biology, 3(6):459-463, 2002.
19. G.M. Oddone, D.A. Mills, and D.E. Block. A dynamic, genome-scale flux model of Lactococcus lactis to increase specific recombinant protein expression. Metabolic Engineering, 2009.
20. A. Provost and G. Bastin. Dynamic metabolic modelling under the balanced growth condition. Journal of Process Control, 14(7):717-728, 2004.
21. C. Rohr, W. Marwan, and M. Heiner. Snoopy-a unifying Petri net framework to investigate biomolecular networks. Bioinformatics, 2010.
22. A. Sackmann, M. Heiner, and I. Koch. Application of Petri net based analysis techniques to signal transduction pathways. BMC bioinformatics, 7(1):482, 2006.
23. C.H. Schilling and B.Ø. Palsson. Assessment of the metabolic capabilities of Haemophilus influenzae Rd through a genome-scale pathway analysis. Journal of Theoretical Biology, 203(3):249-283, 2000.
24. S. Schuster, T. Pfeiffer, F. Moldenhauer, I. Koch, and T. Dandekar. Exploring the pathway structure of metabolism: decomposition into subnetworks and application to Mycoplasma pneumoniae, 2002.
25. K. Smallbone, E. Simeonidis, D.S. Broomhead, and D.B. Kell. Something from nothing-bridging the gap between constraint-based and kinetic modelling. FEBS Journal, 274(21):5576-5585, 2007.
26. K. Smallbone, E. Simeonidis, N. Swainston, and P. Mendes. Towards a genomescale kinetic model of cellular metabolism. BMC Systems Biology, 4(1):6, 2010.
27. P.H. Starke. INA: Integrated Net Analyzer. Reference Manual, 1992.
28. G. Stephanopoulos. Metabolic engineering. Biotechnology and Bioengineering, 58, 1998.
29. J. Wu and E. Voit. Hybrid modeling in biochemical systems theory by means of functional Petri nets. Journal of bioinformatics and computational biology, 7(1):107, 2009.