On Functional Module Detection in Metabolic Networks

Functional modules of metabolic networks are essential for understanding the metabolism of an organism as a whole. With the vast amount of experimental data and the construction of complex and large-scale, often genome-wide, models, the computer-aided identification of functional modules becomes more and more important. Since steady states play a key role in biology, many methods have been developed in that context, for example, elementary flux modes, extreme pathways, transition invariants and place invariants. Metabolic networks can be studied also from the point of view of graph theory, and algorithms for graph decomposition have been applied for the identification of functional modules. A prominent and currently intensively discussed field of methods in graph theory addresses the Q-modularity. In this paper, we recall known concepts of module detection based on the steady-state assumption, focusing on transition-invariants (elementary modes) and their computation as minimal solutions of systems of Diophantine equations. We present the Fourier-Motzkin algorithm in detail. Afterwards, we introduce the Q-modularity as an example for a useful non-steady-state method and its application to metabolic networks. To illustrate and discuss the concepts of invariants and Q-modularity, we apply a part of the central carbon metabolism in potato tubers (Solanum tuberosum) as running example. The intention of the paper is to give a compact presentation of known steady-state concepts from a graph-theoretical viewpoint in the context of network decomposition and reduction and to introduce the application of Q-modularity to metabolic Petri net models.

[1]  Steffen Klamt,et al.  Minimal cut sets in biochemical reaction networks , 2004, Bioinform..

[2]  Tom A. B. Snijders,et al.  Social Network Analysis , 2011, International Encyclopedia of Statistical Science.

[3]  Sean R. Eddy,et al.  Biological Sequence Analysis: Probabilistic Models of Proteins and Nucleic Acids , 1998 .

[4]  Artiom Alhazov,et al.  Membrane Computing , 2013, Lecture Notes in Computer Science.

[5]  Steffen Klamt,et al.  Minimal cut sets in a metabolic network are elementary modes in a dual network , 2012, Bioinform..

[6]  Thomas Pfeiffer,et al.  Exploring the pathway structure of metabolism: decomposition into subnetworks and application to Mycoplasma pneumoniae , 2002, Bioinform..

[7]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[8]  B. Kholodenko,et al.  Composite control of cell function: metabolic pathways behaving as single control units , 1995, FEBS letters.

[9]  J. Berstel,et al.  Context-free languages , 1993, SIGA.

[10]  Carliss Y. Baldwin,et al.  Where do transactions come from? Modularity, transactions, and the boundaries of firms , 2007 .

[11]  Andrea Sackmann,et al.  An analysis of the Petri net based model of the human body iron homeostasis process , 2007, Comput. Biol. Chem..

[12]  Brian Everitt,et al.  Cluster analysis , 1974 .

[13]  J P Mazat,et al.  Pathway classification of TCA cycle. , 2006, Systems biology.

[14]  Javier Esparza,et al.  Decidability and Complexity of Petri Net Problems - An Introduction , 1996, Petri Nets.

[15]  Santo Fortunato,et al.  Community detection in graphs , 2009, ArXiv.

[16]  J. Ackermann,et al.  Reduction techniques for network validation in systems biology. , 2012, Journal of theoretical biology.

[17]  Taghi M. Khoshgoftaar,et al.  A Survey of Collaborative Filtering Techniques , 2009, Adv. Artif. Intell..

[18]  J. Liao,et al.  Pathway analysis, engineering, and physiological considerations for redirecting central metabolism. , 1996, Biotechnology and bioengineering.

[19]  A. Reichert,et al.  Complexome profiling identifies TMEM126B as a component of the mitochondrial complex I assembly complex. , 2012, Cell metabolism.

[20]  Daniel Boley,et al.  Divide-and-Conquer Approach to the Parallel Computation of Elementary Flux Modes in Metabolic Networks , 2011, 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum.

[21]  Stefan Bornholdt,et al.  Detecting fuzzy community structures in complex networks with a Potts model. , 2004, Physical review letters.

[22]  Monika Heiner,et al.  Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber , 2005, Bioinform..

[23]  Randal E. Bryant Binary decision diagrams and beyond: enabling technologies for formal verification , 1995, ICCAD.

[24]  A. Barabasi,et al.  Hierarchical Organization of Modularity in Metabolic Networks , 2002, Science.

[25]  D. Fell,et al.  Detection of elementary flux modes in biochemical networks: a promising tool for pathway analysis and metabolic engineering. , 1999, Trends in biotechnology.

[26]  Juan Carlos Nuño,et al.  METATOOL: for studying metabolic networks , 1999, Bioinform..

[27]  Brian W. Kernighan,et al.  An efficient heuristic procedure for partitioning graphs , 1970, Bell Syst. Tech. J..

[28]  H. Westerhoff,et al.  How to recognize monofunctional units in a metabolic system. , 1996, Journal of theoretical biology.

[29]  Norman Zadeh,et al.  A bad network problem for the simplex method and other minimum cost flow algorithms , 1973, Math. Program..

[30]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[31]  Ina Koch,et al.  Petri net modelling of gene regulation of the Duchenne muscular dystrophy , 2008, Biosyst..

[32]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[33]  Hiroyuki Ogata,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 1999, Nucleic Acids Res..

[34]  Steffen Klamt,et al.  Computation of elementary modes: a unifying framework and the new binary approach , 2004, BMC Bioinformatics.

[35]  Jonathan Billington,et al.  Application of Petri Nets to Communication Networks , 1999, Lecture Notes in Computer Science.

[36]  Jean-Loup Guillaume,et al.  Bipartite structure of all complex networks , 2004, Inf. Process. Lett..

[37]  Chuanxing Li,et al.  Revisiting the variation of clustering coefficient of biological networks suggests new modular structure , 2012, BMC Systems Biology.

[38]  M E J Newman,et al.  Finding and evaluating community structure in networks. , 2003, Physical review. E, Statistical, nonlinear, and soft matter physics.

[39]  R J Lipton,et al.  DNA solution of hard computational problems. , 1995, Science.

[40]  Ina Koch,et al.  MonaLisa - visualization and analysis of functional modules in biochemical networks , 2013, Bioinform..

[41]  Qingtian Zeng A Polynomial-time Decomposition Algorithm for Petri Nets Based on Indexes of Transitions , 2011 .

[42]  Douglas B. Kell,et al.  Computational cluster validation in post-genomic data analysis , 2005, Bioinform..

[43]  Gérard Berthelot,et al.  Checking properties of nets using transformation , 1985, Applications and Theory in Petri Nets.

[44]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[45]  C. A. Petri Communication with automata , 1966 .

[46]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[47]  S. Schuster,et al.  Can the whole be less than the sum of its parts? Pathway analysis in genome-scale metabolic networks using elementary flux patterns. , 2009, Genome research.

[48]  N. Rashevsky,et al.  Mathematical biology , 1961, Connecticut medicine.

[49]  Gabriel Ciobanu,et al.  Fundamentals of Computation Theory , 2003, Lecture Notes in Computer Science.

[50]  Hermann Haken,et al.  Synergetics: An Introduction , 1983 .

[51]  R. Albert,et al.  The large-scale organization of metabolic networks , 2000, Nature.

[52]  Manuel Silva Suárez,et al.  Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows , 1991, Applications and Theory of Petri Nets.

[53]  C. Gardiner Handbook of Stochastic Methods , 1983 .

[54]  Gérard Berthelot,et al.  Transformations and Decompositions of Nets , 1986, Advances in Petri Nets.

[55]  Melanie I. Stefan,et al.  BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models , 2010, BMC Systems Biology.

[56]  Ralf H. Bortfeldt,et al.  Exhaustive Analysis of the Modular Structure of the Spliceosomal Assembly Network: A Petri Net Approach , 2010, Silico Biol..

[57]  C. Wagner Nullspace Approach to Determine the Elementary Modes of Chemical Reaction Systems , 2004 .

[58]  Peter H. Starke,et al.  Analyse von Petri-Netz-Modellen , 1990, Leitfäden und Monographien der Informatik.

[59]  Andrea Sackmann,et al.  Modularization of biochemical networks based on classification of Petri net t-invariants , 2008, BMC Bioinformatics.

[60]  J. Farkas Theorie der einfachen Ungleichungen. , 1902 .

[61]  S. Schuster,et al.  ON ELEMENTARY FLUX MODES IN BIOCHEMICAL REACTION SYSTEMS AT STEADY STATE , 1994 .

[62]  Jörg Stelling,et al.  Large-scale computation of elementary flux modes with bit pattern trees , 2008, Bioinform..

[63]  U. Sauer,et al.  A Novel Metabolic Cycle Catalyzes Glucose Oxidation and Anaplerosis in Hungry Escherichia coli* , 2003, Journal of Biological Chemistry.

[64]  Jean Baptiste Joseph Fourier,et al.  Oeuvres de Fourier: Solution d'une question particulière du calcul des inégalités , 2013 .

[65]  V. Klee,et al.  HOW GOOD IS THE SIMPLEX ALGORITHM , 1970 .

[66]  Dmitry A. Zaitsev,et al.  Decomposition of Petri nets , 2004 .

[67]  Wolfgang Reisig,et al.  Modeling in Systems Biology, The Petri Net Approach , 2010, Computational Biology.

[68]  Gediminas Adomavicius,et al.  Toward the next generation of recommender systems: a survey of the state-of-the-art and possible extensions , 2005, IEEE Transactions on Knowledge and Data Engineering.

[69]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[70]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[71]  P. Rousseeuw Silhouettes: a graphical aid to the interpretation and validation of cluster analysis , 1987 .

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

[73]  Peter Deuflhard,et al.  Scientific Computing with Ordinary Differential Equations , 2002 .