Modeling and Simulation of Genetic Regulatory Systems: A Literature Review

In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The regulation of gene expression is achieved through genetic regulatory systems structured by networks of interactions between DNA, RNA, proteins, and small molecules. As most genetic regulatory networks of interest involve many components connected through interlocking positive and negative feedback loops, an intuitive understanding of their dynamics is hard to obtain. As a consequence, formal methods and computer tools for the modeling and simulation of genetic regulatory networks will be indispensable. This paper reviews formalisms that have been employed in mathematical biology and bioinformatics to describe genetic regulatory systems, in particular directed graphs, Bayesian networks, Boolean networks and their generalizations, ordinary and partial differential equations, qualitative differential equations, stochastic equations, an...

[1]  D. Wolf,et al.  On the relationship between genomic regulatory element organization and gene regulatory dynamics. , 1998, Journal of theoretical biology.

[2]  P. D’haeseleer,et al.  Mining the gene expression matrix: inferring gene relationships from large scale gene expression data , 1998 .

[3]  L. Glass Combinatorial and topological methods in nonlinear chemical kinetics , 1975 .

[4]  J. Collado-Vides Integrative Approaches to Molecular Biology , 1996 .

[5]  L. Glass,et al.  Common Chaos in Arbitrarily Complex Feedback Networks , 1997 .

[6]  L. Loew,et al.  The Virtual Cell: a software environment for computational cell biology. , 2001, Trends in biotechnology.

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

[8]  Margaret Ann Shea,et al.  Quantitative model for gene regulation by ? phage repressor , 1997 .

[9]  D Kosman,et al.  Automated assay of gene expression at cellular resolution. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[10]  L. Glass,et al.  Prediction of limit cycles in mathematical models of biological oscillations , 1978 .

[11]  U. Alon,et al.  Broad patterns of gene expression revealed by clustering analysis of tumor and normal colon tissues probed by oligonucleotide arrays. , 1999, Proceedings of the National Academy of Sciences of the United States of America.

[12]  D. Drew A mathematical model for prokaryotic protein synthesis , 2001, Bulletin of mathematical biology.

[13]  D. Thieffry,et al.  The modularity of biological regulatory networks. , 1999, Bio Systems.

[14]  R. Thomas,et al.  Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. , 2001, Chaos.

[15]  H. Othmer The qualitative dynamics of a class of biochemical control circuits , 1976, Journal of mathematical biology.

[16]  G. Odell,et al.  The segment polarity network is a robust developmental module , 2000, Nature.

[17]  S Fuhrman,et al.  Reveal, a general reverse engineering algorithm for inference of genetic network architectures. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[18]  Ting Chen,et al.  Modeling Gene Expression with Differential Equations , 1998, Pacific Symposium on Biocomputing.

[19]  V A Ratner,et al.  Enlarged model of lambda phage ontogenesis. , 1981, Journal of theoretical biology.

[20]  Nikolay A. Kolchanov,et al.  GeneNet: a gene network database and its automated visualization , 1998, Bioinform..

[21]  A. Arkin,et al.  Stochastic kinetic analysis of developmental pathway bifurcation in phage lambda-infected Escherichia coli cells. , 1998, Genetics.

[22]  H. Kitano,et al.  Robust oscillations within the interlocked feedback model of Drosophila circadian rhythm. , 2001, Journal of theoretical biology.

[23]  M. Ehlde,et al.  MIST: a user-friendly metabolic simulator , 1995, Comput. Appl. Biosci..

[24]  L. I. Reyes,et al.  Exact solutions to chaotic and stochastic systems. , 2001, Chaos.

[25]  H. McAdams,et al.  Global analysis of the genetic network controlling a bacterial cell cycle. , 2000, Science.

[26]  El Houssine Snoussi,et al.  Logical identification of all steady states: The concept of feedback loop characteristic states , 1993 .

[27]  Douglas L. Brutlag,et al.  Knowledge-based simulation of DNA metabolism: Prediction of action and envisionment of pathways , 1993 .

[28]  D. Thieffry,et al.  A logical analysis of the Drosophila gap-gene system. , 2001, Journal of theoretical biology.

[29]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[30]  David R. Rigney,et al.  Stochastic Models of Cellular Variability , 1979 .

[31]  Edward R. Dougherty,et al.  Steady-State Analysis of Genetic Regulatory Networks Modelled by Probabilistic Boolean Networks , 2003, Comparative and functional genomics.

[32]  R. Brent,et al.  Modelling cellular behaviour , 2001, Nature.

[33]  J. Keasling,et al.  Mathematical Model of the lac Operon: Inducer Exclusion, Catabolite Repression, and Diauxic Growth on Glucose and Lactose , 1997, Biotechnology progress.

[34]  Thomas Mestl,et al.  FEEDBACK LOOPS, STABILITY AND MULTISTATIONARITY IN DYNAMICAL SYSTEMS , 1995 .

[35]  R. Nowak Entering the Postgenome Era , 1995, Science.

[36]  H. Meinhardt Models for maternally supplied positional information and the activation of segmentation genes in Drosophila embryogenesis , 1988 .

[37]  Ron Shamir,et al.  Clustering Gene Expression Patterns , 1999, J. Comput. Biol..

[38]  T. Mestl,et al.  A mathematical framework for describing and analysing gene regulatory networks. , 1995, Journal of theoretical biology.

[39]  Nir Friedman,et al.  Inferring subnetworks from perturbed expression profiles , 2001, ISMB.

[40]  E Mjolsness,et al.  A gene network approach to modeling early neurogenesis in Drosophila. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[41]  M C Mackey,et al.  Dynamic regulation of the tryptophan operon: a modeling study and comparison with experimental data. , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[42]  R. D. Bliss,et al.  Role of feedback inhibition in stabilizing the classical operon. , 1982, Journal of theoretical biology.

[43]  S. Kauffman Assessing the Probable Regulatory Structures and Dynamics of the Metazoan Genome , 1979 .

[44]  Chew Lim Tan,et al.  Knowledge-Based Simulation of Regulatory Action in lambda phage , 1995, Int. J. Artif. Intell. Tools.

[45]  T. Mestl,et al.  Periodic solutions in systems of piecewise- linear differential equations , 1995 .

[46]  M. Ko,et al.  A stochastic model for gene induction. , 1991, Journal of theoretical biology.

[47]  M. Savageau Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.

[48]  Jérôme Euzenat,et al.  Grasping at molecular interactions and genetic networks in Drosophila melanogaster using FlyNets, an Internet database , 1999, Nucleic Acids Res..

[49]  Thomas Mestl,et al.  A methodological basis for description and analysis of systems with complex switch-like interactions , 1998, Journal of mathematical biology.

[50]  Bernard Jacq,et al.  GIF-DB, a WWW database on gene interactions involved in Drosophila melanogaster development , 1997, Nucleic Acids Res..

[51]  Denis Thieffry,et al.  Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..

[52]  R Thomas,et al.  A complex control circuit. Regulation of immunity in temperate bacteriophages. , 1976, European journal of biochemistry.

[53]  J. Bard,et al.  How well does Turing's theory of morphogenesis work? , 1974, Journal of theoretical biology.

[54]  Hava T. Siegelmann,et al.  Computation in gene networks , 2004 .

[55]  David H. Sharp,et al.  Prediction of mutant expression patterns using gene circuits. , 1998, Bio Systems.

[56]  Calin Belta,et al.  Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.

[57]  Bernhard O. Palsson,et al.  Bioinformatics: What lies beyond bioinformatics? , 1997, Nature Biotechnology.

[58]  S. Tucker,et al.  Mathematical models for the cellular concentrations of cyclin and MPF. , 1992, Biochemical and biophysical research communications.

[59]  B. Palsson,et al.  The Escherichia coli MG1655 in silico metabolic genotype: its definition, characteristics, and capabilities. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[60]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[61]  L. Glass,et al.  STEADY STATES, LIMIT CYCLES, AND CHAOS IN MODELS OF COMPLEX BIOLOGICAL NETWORKS , 1991 .

[62]  J. Collado-Vides,et al.  Integrative representations of the regulation of gene expression , 1996 .

[63]  Katherine C. Chen,et al.  Mathematical model of the fission yeast cell cycle with checkpoint controls at the G1/S, G2/M and metaphase/anaphase transitions. , 1998, Biophysical chemistry.

[64]  Roland Somogyi,et al.  Modeling the complexity of genetic networks: Understanding multigenic and pleiotropic regulation , 1996, Complex..

[65]  Yudong D. He,et al.  Functional Discovery via a Compendium of Expression Profiles , 2000, Cell.

[66]  J. Monod,et al.  General Conclusions: Teleonomic Mechanisms in Cellular Metabolism, Growth, and Differentiation , 1978 .

[67]  Arie Rip,et al.  The Computer Revolution in Science: Steps Towards the Realization of Computer-Supported Discovery Environments , 1997, Artif. Intell..

[68]  E. Winzeler,et al.  Genomics, gene expression and DNA arrays , 2000, Nature.

[69]  N. Macdonald Biological Delay Systems: Linear Stability Theory , 1989 .

[70]  Ronald W. Davis,et al.  A genome-wide transcriptional analysis of the mitotic cell cycle. , 1998, Molecular cell.

[71]  J. Tyson On the existence of oscillatory solutions in negative feedback cellular control processes , 1975 .

[72]  El Houssine Snoussi Necessary Conditions for Multistationarity and Stable Periodicity , 1998 .

[73]  Thomas Mestl,et al.  STATIONARY STATES IN FOOD WEB MODELS WITH THRESHOLD RELATIONSHIPS , 1995 .

[74]  Marcel Abendroth,et al.  Biological delay systems: Linear stability theory , 1990 .

[75]  P. Ruoff,et al.  The Goodwin model: simulating the effect of light pulses on the circadian sporulation rhythm of Neurospora crassa. , 2001, Journal of theoretical biology.

[76]  Eberhard O. Voit,et al.  Canonical nonlinear modeling : S-system approach to understanding complexity , 1991 .

[77]  S. Kauffman Gene regulation networks: a theory for their global structure and behaviors. , 1971, Current topics in developmental biology.

[78]  Edward R. Dougherty,et al.  CAN MARKOV CHAIN MODELS MIMIC BIOLOGICAL REGULATION , 2002 .

[79]  S. Kauffman,et al.  Spatial harmonics and pattern specification in early Drosophila development. Part I. Bifurcation sequences and gene expression. , 1990, Journal of theoretical biology.

[80]  L. Glass,et al.  Ordered and disordered dynamics in random networks , 1998 .

[81]  D. Botstein,et al.  Cluster analysis and display of genome-wide expression patterns. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[82]  Pedro Mendes,et al.  GEPASI: a software package for modelling the dynamics, steady states and control of biochemical and other systems , 1993, Comput. Appl. Biosci..

[83]  J. Tyson,et al.  Numerical analysis of a comprehensive model of M-phase control in Xenopus oocyte extracts and intact embryos. , 1993, Journal of cell science.

[84]  David H. Sharp,et al.  A connectionist model of development. , 1991, Journal of theoretical biology.

[85]  P. Pandurang Nayak,et al.  Automated Modeling of Physical Systems , 1995, Lecture Notes in Computer Science.

[86]  D. Cavalieri,et al.  Fundamentals of cDNA microarray data analysis. , 2003, Trends in genetics : TIG.

[87]  A. Arkin,et al.  Simulation of prokaryotic genetic circuits. , 1998, Annual review of biophysics and biomolecular structure.

[88]  Z Burstein A network model of developmental gene hierarchy. , 1995, Journal of theoretical biology.

[89]  Julio Collado-Vides,et al.  RegulonDB (version 2.0): a database on transcriptional regulation in Escherichia coli , 1999, Nucleic Acids Res..

[90]  E Mjolsness,et al.  Delta-Notch lateral inhibitory patterning in the emergence of ciliated cells in Xenopus: experimental observations and a gene network model. , 2000, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[91]  H Kitano,et al.  Construction of a generalized simulator for multi-cellular organisms and its application to SMAD signal transduction. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[92]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[93]  Lennart Ljung,et al.  System Identification: Theory for the User , 1987 .

[94]  J. Schnakenberg,et al.  G. Nicolis und I. Prigogine: Self‐Organization in Nonequilibrium Systems. From Dissipative Structures to Order through Fluctuations. J. Wiley & Sons, New York, London, Sydney, Toronto 1977. 491 Seiten, Preis: £ 20.–, $ 34.– , 1978 .

[95]  G. Church,et al.  Systematic determination of genetic network architecture , 1999, Nature Genetics.

[96]  H D Landahl,et al.  Some conditions for sustained oscillations in biochemical chains with feedback inhibition. , 1969, The Bulletin of mathematical biophysics.

[97]  B. R.J,et al.  Counting and Classifying Attractors in High Dimensional Dynamical Systems , 1996 .

[98]  Sui Huang Gene expression profiling, genetic networks, and cellular states: an integrating concept for tumorigenesis and drug discovery , 1999, Journal of Molecular Medicine.

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

[100]  S. Kauffman Homeostasis and Differentiation in Random Genetic Control Networks , 1969, Nature.

[101]  Hiroaki Kitano,et al.  Simulation of Drosophila embryogenesis , 1998 .

[102]  Peter D. Karp Design methods for scientific hypothesis formation and their application to molecular biology , 2004, Machine Learning.

[103]  H. Meinhardt,et al.  A theory of biological pattern formation , 1972, Kybernetik.

[104]  A. Gierer Generation of biological patterns and form: some physical, mathematical, and logical aspects. , 1981, Progress in biophysics and molecular biology.

[105]  Zoltan Szallasi,et al.  Genetic Network Analysis in Light of Massively Parallel Biological Data Acquisition , 1998, Pacific Symposium on Biocomputing.

[106]  D. Sherrington Stochastic Processes in Physics and Chemistry , 1983 .

[107]  M. Tomita Whole-cell simulation: a grand challenge of the 21st century. , 2001, Trends in biotechnology.

[108]  J. Monod,et al.  Teleonomic mechanisms in cellular metabolism, growth, and differentiation. , 1961, Cold Spring Harbor symposia on quantitative biology.

[109]  S. P. Fodor,et al.  High density synthetic oligonucleotide arrays , 1999, Nature Genetics.

[110]  Denis Thieffry,et al.  Formalisation of regulatory networks: a logical method and its automatization , 1993 .

[111]  O Andersen,et al.  Description and analysis of switchlike regulatory networks exemplified by a model of cellular iron homeostasis. , 1998, Journal of theoretical biology.

[112]  Daniel E. Zak,et al.  Continuous-time identification of gene expression models. , 2003, Omics : a journal of integrative biology.

[113]  B. Palsson,et al.  Assessment of the metabolic capabilities of Haemophilus influenzae Rd through a genome-scale pathway analysis. , 2000, Journal of theoretical biology.

[114]  Satoru Miyano,et al.  Inferring qualitative relations in genetic networks and metabolic pathways , 2000, Bioinform..

[115]  R. Edwards Analysis of continuous-time switching networks , 2000 .

[116]  J. Butcher Numerical methods for ordinary differential equations , 2003 .

[117]  Ka Yee Yeung,et al.  Algorithms for choosing differential gene expression experiments , 1999, RECOMB.

[118]  John J. Tyson,et al.  The Dynamics of Feedback Control Circuits in Biochemical Pathways , 1978 .

[119]  René Thomas Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[120]  K. Kohn Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.

[121]  A. Arkin,et al.  It's a noisy business! Genetic regulation at the nanomolar scale. , 1999, Trends in genetics : TIG.

[122]  M. Elowitz,et al.  A synthetic oscillatory network of transcriptional regulators , 2000, Nature.

[123]  E. Álvarez-Buylla,et al.  Dynamics of the genetic regulatory network for Arabidopsis thaliana flower morphogenesis. , 1998, Journal of theoretical biology.

[124]  H. Meinhardt,et al.  A model of pattern formation in insect embryogenesis. , 1977, Journal of cell science.

[125]  R. Tchuraev,et al.  A new method for the analysis of the dynamics of the molecular genetic control systems. I. Description of the method of generalized threshold models. , 1991, Journal of theoretical biology.

[126]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[127]  B. Hammond,et al.  Quantitative study of the control of HIV-1 gene expression. , 1993, Journal of theoretical biology.

[128]  M. Savageau,et al.  Parameter Sensitivity as a Criterion for Evaluating and Comparing the Performance of Biochemical Systems , 1971, Nature.

[129]  J. Griffith,et al.  Mathematics of cellular control processes. I. Negative feedback to one gene. , 1968, Journal of theoretical biology.

[130]  S. Kauffman,et al.  Antichaos and adaptation. , 1991, Scientific American.

[131]  M Sugita,et al.  Functional analysis of chemical systems in vivo using a logical circuit equivalent. II. The idea of a molecular automation. , 1963, Journal of theoretical biology.

[132]  R. Tchuraev,et al.  A new method for the analysis of the dynamics of the molecular genetic control systems. II. Application of the method of generalized threshold models in the investigation of concrete genetic systems. , 1991, Journal of theoretical biology.

[133]  Araceli M. Huerta,et al.  From specific gene regulation to genomic networks: a global analysis of transcriptional regulation in Escherichia coli. , 1998, BioEssays : news and reviews in molecular, cellular and developmental biology.

[134]  John Reinitz,et al.  Registration of the expression patterns of Drosophila segmentation genes by two independent methods , 2001, Bioinform..

[135]  Peter D. Karp,et al.  Eco Cyc: encyclopedia of Escherichia coli genes and metabolism , 1999, Nucleic Acids Res..

[136]  Dan ie l T. Gil lespie A rigorous derivation of the chemical master equation , 1992 .

[137]  Axel Hunding,et al.  Turing prepatterns of the second kind simulated on supercomputers in three curvilinear coordinates and time , 1989 .

[138]  W. John MacMullen,et al.  The ambiguous bioinformatics domain: A conceptual map of information science applications for molecular biology , 2005, ASIS&T Annual Meeting.

[139]  Eberhard O. Voit,et al.  Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists , 2000 .

[140]  David H. Sharp,et al.  Mechanism of eve stripe formation , 1995, Mechanisms of Development.

[141]  Edward R. Dougherty,et al.  From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.

[142]  A. Zeng,et al.  Model analysis concerning the effects of growth rate and intracellular tryptophan level on the stability and dynamics of tryptophan biosynthesis in bacteria , 1997 .

[143]  E. Davidson,et al.  The hardwiring of development: organization and function of genomic regulatory systems. , 1997, Development.

[144]  Michael A. Savageau,et al.  Power-law formalism: a canonical nonlinear approach to modeling and analysis , 1995 .

[145]  J. Collado-Vides,et al.  Networks of transcriptional regulation encoded in a grammatical model. , 1998, Bio Systems.

[146]  R. Thomas,et al.  Laws for the dynamics of regulatory networks. , 1998, The International journal of developmental biology.

[147]  S. Kauffman Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[148]  Ralf Hofestädt A simulation shell to model metabolic pathways , 1993 .

[149]  M. A. Shea,et al.  The OR control system of bacteriophage lambda. A physical-chemical model for gene regulation. , 1985, Journal of molecular biology.

[150]  A. Arkin,et al.  Stochastic mechanisms in gene expression. , 1997, Proceedings of the National Academy of Sciences of the United States of America.

[151]  D. Sharp,et al.  Stripe forming architecture of the gap gene system. , 1998, Developmental genetics.

[152]  M SUGITA,et al.  Functional analysis of chemical systems in vivo using a logical circuit equivalent. , 1966, Journal of theoretical biology.

[153]  Rustem N. Tchuraev,et al.  Simplest Genetic Systems Controlling Ontogenesis: Organization Principles and Models of Their Function , 1978 .

[154]  Steffen Schulze-Kremer,et al.  BioSim: A New Qualitative Simulation Environment for Molecular Biology , 1998, ISMB.

[155]  Maria Samsonova,et al.  NetWork: An Interactive Interface to the Tools for Analysis of Genetic Network Structure and Dynamics , 1999, Pacific Symposium on Biocomputing.

[156]  B. Palsson,et al.  Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway-oriented perspective. , 2000, Journal of theoretical biology.

[157]  S. Wodak,et al.  Representing and Analysing Molecular and Cellular Function Using the Computer , 2000, Biological chemistry.

[158]  Peter D. Karp,et al.  A qualitative biochemistry and its application to the regulation of the tryptophan operon , 1993 .

[159]  Benjamin Kuipers,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..

[160]  M. L. Simpson,et al.  Frequency domain analysis of noise in autoregulated gene circuits , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[161]  J. Ross,et al.  A Test Case of Correlation Metric Construction of a Reaction Pathway from Measurements , 1997 .

[162]  Lingchong You,et al.  Simulating the Growth of Viruses , 2000, Pacific Symposium on Biocomputing.

[163]  H. Meinhardt,et al.  Pattern formation by local self-activation and lateral inhibition. , 2000, BioEssays : news and reviews in molecular, cellular and developmental biology.

[164]  K. Kohn Molecular interaction maps as information organizers and simulation guides. , 2001, Chaos.

[165]  Thomas Mestl,et al.  Global analysis of steady points for systems of differential equations with sigmoid interactions , 1994 .

[166]  Richard C. Strohman,et al.  The coming Kuhnian revolution in biology , 1997, Nature Biotechnology.

[167]  E. R. Jackson,et al.  Gene networks in development. , 1986, Journal of theoretical biology.

[168]  L. Glass,et al.  Combinatorial explosion in model gene networks. , 2000, Chaos.

[169]  John J. Wyrick,et al.  Genome-wide location and function of DNA binding proteins. , 2000, Science.

[170]  N. Britton Reaction-diffusion equations and their applications to biology. , 1989 .

[171]  Jehoshua Bruck,et al.  An Efficient Algorithm for Generating Trajectories of Stochastic Gene Regulation Reactions , 1998 .

[172]  R. Callard,et al.  From the top down: towards a predictive biology of signalling networks. , 2003, Trends in biotechnology.

[173]  Robert C. Jackson Predictive Software for Drug Design and Development , 2003 .

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

[175]  J Reinitz,et al.  Theoretical and experimental analysis of the phage lambda genetic switch implies missing levels of co-operativity. , 1990, Journal of theoretical biology.

[176]  J. Gouzé,et al.  A class of piecewise linear differential equations arising in biological models , 2002 .

[177]  A. M. Turing,et al.  The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.

[178]  N. Kampen,et al.  Stochastic processes in physics and chemistry , 1981 .

[179]  Roland Somogyi,et al.  Reverse engineers map the molecular switching yards. , 2002, Trends in biotechnology.

[180]  G. Nicolis,et al.  Sustained oscillations and threshold phenomena in an operon control circuit. , 1976, Biophysical chemistry.

[181]  D. Gillespie The chemical Langevin equation , 2000 .

[182]  John Maddox,et al.  Is molecular biology yet a science? , 1992, Nature.

[183]  B Bunow,et al.  Pattern formation by reaction-diffusion instabilities: application to morphogenesis in Drosophila. , 1980, Journal of theoretical biology.

[184]  G S Michaels,et al.  Cluster analysis and data visualization of large-scale gene expression data. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[185]  D. A. Baxter,et al.  Modeling transcriptional control in gene networks—methods, recent results, and future directions , 2000, Bulletin of mathematical biology.

[186]  Masahiro Okamoto,et al.  Development of a System for the Inference of Large Scale Genetic Networks , 2000, Pacific Symposium on Biocomputing.

[187]  Masaru Tomita,et al.  E-CELL: software environment for whole-cell simulation , 1999, Bioinform..

[188]  B. Goodwin Temporal organization in cells , 1963 .

[189]  S A Newman,et al.  Model for constraint and control in biochemical networks. , 1971, Proceedings of the National Academy of Sciences of the United States of America.

[190]  G. Yagil,et al.  On the relation between effector concentration and the rate of induced enzyme synthesis. , 1971, Biophysical journal.

[191]  Hidde de Jong,et al.  Qualitative Simulation of Genetic Regulatory Networks: Method and Application , 2001, IJCAI.

[192]  D Thieffry,et al.  From global expression data to gene networks. , 1999, BioEssays : news and reviews in molecular, cellular and developmental biology.

[193]  G. K. Ackers,et al.  Quantitative model for gene regulation by lambda phage repressor. , 1982, Proceedings of the National Academy of Sciences of the United States of America.

[194]  J. Mesirov,et al.  Interpreting patterns of gene expression with self-organizing maps: methods and application to hematopoietic differentiation. , 1999, Proceedings of the National Academy of Sciences of the United States of America.

[195]  A. Goldbeter,et al.  A Model for Circadian Rhythms in Drosophila Incorporating the Formation of a Complex between the PER and TIM Proteins , 1998, Journal of biological rhythms.

[196]  H. Meinhardt,et al.  Hierarchical Inductions of Cell States: A Model for Segmentation in Drosophila , 1986, Journal of Cell Science.

[197]  S. Leibler,et al.  Robustness in simple biochemical networks , 1997, Nature.

[198]  Igor Goryanin,et al.  Mathematical simulation and analysis of cellular metabolism and regulation , 1999, Bioinform..

[199]  David H. Sharp,et al.  Model for cooperative control of positional information in Drosophila by bicoid and maternal hunchback. , 1995, The Journal of experimental zoology.

[200]  P. Maini,et al.  Spatial pattern formation in chemical and biological systems , 1997 .

[201]  L. Glass Classification of biological networks by their qualitative dynamics. , 1975, Journal of theoretical biology.

[202]  R. Thomas,et al.  Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior. , 2001, Chaos.

[203]  P. Uetz,et al.  Towards an understanding of complex protein networks. , 2001, Trends in cell biology.

[204]  Michael A. Russell,et al.  Positional information in insect segments , 1985 .

[205]  金久 実,et al.  Post-genome informatics , 2000 .

[206]  A Wuensche,et al.  Genomic regulation modeled as a network with basins of attraction. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[207]  G. Yagil,et al.  Quantitative aspects of protein induction. , 1975, Current topics in cellular regulation.

[208]  J. Griffith Mathematics of cellular control processes. II. Positive feedback to one gene. , 1968, Journal of theoretical biology.

[209]  Marcel J. T. Reinders,et al.  A Comparison of Genetic Network Models , 2000, Pacific Symposium on Biocomputing.

[210]  M. B,et al.  Bifurcation Analysis of a Model of Mitotic Control in Frog Eggs , 1998 .

[211]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[212]  Thomas Lengauer,et al.  Analysis of Gene Expression Data with Pathway Scores , 2000, ISMB.

[213]  B O Palsson,et al.  What lies beyond bioinformatics? , 1999, Proceedings of the First Joint BMES/EMBS Conference. 1999 IEEE Engineering in Medicine and Biology 21st Annual Conference and the 1999 Annual Fall Meeting of the Biomedical Engineering Society (Cat. N.

[214]  V. N. Reddy,et al.  Qualitative analysis of biochemical reaction systems , 1996, Comput. Biol. Medicine.

[215]  J. Lambert Numerical Methods for Ordinary Differential Equations , 1991 .

[216]  Patrik D'haeseleer,et al.  Genetic network inference: from co-expression clustering to reverse engineering , 2000, Bioinform..

[217]  J. Tyson,et al.  Chemical kinetic theory: understanding cell-cycle regulation. , 1996, Trends in biochemical sciences.

[218]  R Hofestädt,et al.  Interactive modelling and simulation of biochemical networks. , 1995, Computers in biology and medicine.

[219]  Akutsu,et al.  A System for Identifying Genetic Networks from Gene Expression Patterns Produced by Gene Disruptions and Overexpressions. , 1998, Genome informatics. Workshop on Genome Informatics.

[220]  Leon Glass,et al.  Nonlinear Dynamics and Symbolic Dynamics of Neural Networks , 1992, Neural Computation.

[221]  J. Collado-Vides,et al.  A transformational-grammar approach to the study of the regulation of gene expression. , 1989, Journal of theoretical biology.

[222]  R. Laubenbacher,et al.  A computational algebra approach to the reverse engineering of gene regulatory networks. , 2003, Journal of theoretical biology.

[223]  Leon Glass,et al.  Global Analysis of Nonlinear Chemical Kinetics , 1977 .

[224]  Michal Linial,et al.  Using Bayesian Networks to Analyze Expression Data , 2000, J. Comput. Biol..

[225]  Adam P. Arkin,et al.  Statistical Construction of Chemical Reaction Mechanisms from Measured Time-Series , 1995 .

[226]  B. T. Koh,et al.  Genetically structured mathematical modeling of trp attenuator mechanism. , 1998, Biotechnology and bioengineering.

[227]  Michael A. Gibson,et al.  Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels , 2000 .

[228]  S. Kauffman The large scale structure and dynamics of gene control circuits: an ensemble approach. , 1974, Journal of theoretical biology.

[229]  Michael Ruogu Zhang,et al.  Comprehensive identification of cell cycle-regulated genes of the yeast Saccharomyces cerevisiae by microarray hybridization. , 1998, Molecular biology of the cell.

[230]  S. Strogatz Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry and Engineering , 1995 .

[231]  Leon Glass,et al.  Limit cycle oscillations in compartmental chemical systems , 1974 .

[232]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[233]  J. Barker,et al.  Large-scale temporal gene expression mapping of central nervous system development. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[234]  J. Gouzé Positive and Negative Circuits in Dynamical Systems , 1998 .

[235]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[236]  D. Thieffry,et al.  Dynamical behaviour of biological regulatory networks—I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state , 1995 .

[237]  John J. Tyson,et al.  Quantitative analysis of a molecular model of mitotic control in fission yeast , 1995 .

[238]  Katherine C. Chen,et al.  Kinetic analysis of a molecular model of the budding yeast cell cycle. , 2000, Molecular biology of the cell.

[239]  S. Busenberg,et al.  Interaction of spatial diffusion and delays in models of genetic control by repression , 1985, Journal of Mathematical Biology.

[240]  P. Brazhnik,et al.  Gene networks: how to put the function in genomics. , 2002, Trends in biotechnology.

[241]  René Thomas On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations , 1981 .

[242]  H. Meinhardt Models of biological pattern formation , 1982 .

[243]  Stuart A. Kauffman,et al.  Bifurcations, harmonics and the four colour wheel model of Drosophila development , 1989 .

[244]  John J. Tyson,et al.  Modeling the Cell Division Cycle: M-phase Trigger, Oscillations, and Size Control , 1993 .

[245]  Farren J. Isaacs,et al.  Computational studies of gene regulatory networks: in numero molecular biology , 2001, Nature Reviews Genetics.

[246]  Hidde de Jong,et al.  6 – Qualitative modelling and simulation of developmental regulatory networks , 2003 .

[247]  T. Lacalli,et al.  Theoretical aspects of stripe formation in relation to Drosophila segmentation. , 1988, Development.

[248]  M. S. Ko Induction mechanism of a single gene molecule: stochastic or deterministic? , 1992, BioEssays : news and reviews in molecular, cellular and developmental biology.

[249]  Douglas L. Brutlag,et al.  Knowledge-based simulation of DNA metabolism: prediction of enzyme action , 1991, Comput. Appl. Biosci..

[250]  Mads Kaern,et al.  The engineering of gene regulatory networks. , 2003, Annual review of biomedical engineering.

[251]  V. Thorsson,et al.  Discovery of regulatory interactions through perturbation: inference and experimental design. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[252]  E. Lander The New Genomics: Global Views of Biology , 1996, Science.

[253]  Robert Rosen,et al.  Recent Developments in the Theory of Control and Regulation of Cellular Processes , 1968 .

[254]  I. Prigogine,et al.  Formative Processes. (Book Reviews: Self-Organization in Nonequilibrium Systems. From Dissipative Structures to Order through Fluctuations) , 1977 .

[255]  D. Botstein,et al.  Genomic binding sites of the yeast cell-cycle transcription factors SBF and MBF , 2001, Nature.

[256]  Satoru Miyano,et al.  Identification of Genetic Networks from a Small Number of Gene Expression Patterns Under the Boolean Network Model , 1998, Pacific Symposium on Biocomputing.

[257]  A. Keller,et al.  Specifying epigenetic states with autoregulatory transcription factors. , 1994, Journal of theoretical biology.

[258]  Neal S. Holter,et al.  Dynamic modeling of gene expression data. , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[259]  El Houssine Snoussi Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach , 1989 .

[260]  David H. Sharp,et al.  Gene circuits and their uses , 1996 .

[261]  Denis Thieffry,et al.  POSITIVE LOOPS AND DIFFERENTIATION , 1995 .

[262]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[263]  J. Tyson Reaction-diffusion equations and their applications to biology , 1987 .

[264]  D. Bray,et al.  A free-energy-based stochastic simulation of the Tar receptor complex. , 1999, Journal of molecular biology.

[265]  D. A. Baxter,et al.  Effects of macromolecular transport and stochastic fluctuations on dynamics of genetic regulatory systems. , 1999, The American journal of physiology.

[266]  L. Glass,et al.  Stable oscillations in mathematical models of biological control systems , 1978 .

[267]  R. Thomas,et al.  Dynamical behaviour of biological regulatory networks--II. Immunity control in bacteriophage lambda. , 1995, Bulletin of mathematical biology.

[268]  Lee A. Segel,et al.  Modeling Dynamic Phenomena in Molecular and Cellular Biology , 1984 .

[269]  J. Hopfield,et al.  From molecular to modular cell biology , 1999, Nature.

[270]  Bernard Brogliato,et al.  Some perspectives on the analysis and control of complementarity systems , 2003, IEEE Trans. Autom. Control..

[271]  Claire J. Tomlin,et al.  Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.

[272]  T. Lacalli Modeling the Drosophila pair-rule pattern by reaction-diffusion: gap input and pattern control in a 4-morphogen system. , 1990, Journal of theoretical biology.

[273]  J. Collins,et al.  Construction of a genetic toggle switch in Escherichia coli , 2000, Nature.

[274]  B. Goodwin Oscillatory behavior in enzymatic control processes. , 1965, Advances in enzyme regulation.

[275]  C. Walter The occurrence and the significance of limit cycle behavior in controlled biochemical systems. , 1970, Journal of theoretical biology.

[276]  J. Tyson,et al.  Models of cell cycle control in eukaryotes. , 1999, Journal of biotechnology.

[277]  M. Yčas,et al.  A model for binary logic in biochemical systems. , 1967, Journal of theoretical biology.

[278]  A. Cornish-Bowden Fundamentals of Enzyme Kinetics , 1979 .

[279]  Rui Alves,et al.  Comparing systemic properties of ensembles of biological networks by graphical and statistical methods , 2000, Bioinform..

[280]  J. Keasling,et al.  Investigating autocatalytic gene expression systems through mechanistic modeling. , 1999, Journal of theoretical biology.

[281]  Z. Szallasi,et al.  Modeling the normal and neoplastic cell cycle with "realistic Boolean genetic networks": their application for understanding carcinogenesis and assessing therapeutic strategies. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[282]  D. Endy,et al.  Computation, prediction, and experimental tests of fitness for bacteriophage T7 mutants with permuted genomes. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[283]  B. Nagorcka A pattern formation mechanism to control spatial organization in the embryo of Drosophila melanogaster. , 1988, Journal of theoretical biology.

[284]  F R Adler,et al.  How to make a biological switch. , 2000, Journal of theoretical biology.

[285]  M. Mann,et al.  Proteomics to study genes and genomes , 2000, Nature.

[286]  E. Davidson,et al.  Genomic cis-regulatory logic: experimental and computational analysis of a sea urchin gene. , 1998, Science.

[287]  L. Glass,et al.  Chaos in high-dimensional neural and gene networks , 1996 .

[288]  L Glass,et al.  Co-operative components, spatial localization and oscillatory cellular dynamics. , 1972, Journal of theoretical biology.

[289]  R. Heinrich,et al.  The Regulation of Cellular Systems , 1996, Springer US.

[290]  E. Davidson,et al.  Modeling transcriptional regulatory networks. , 2002, BioEssays : news and reviews in molecular, cellular and developmental biology.

[291]  Gary D. Stormo,et al.  Modeling Regulatory Networks with Weight Matrices , 1998, Pacific Symposium on Biocomputing.

[292]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[293]  Satoru Miyano,et al.  Identification of gene regulatory networks by strategic gene disruptions and gene overexpressions , 1998, SODA '98.

[294]  J. Helden,et al.  Establishement of the dorso-ventral pattern during embryonic development of drosophila melanogasater: a logical analysis , 1997, Journal of theoretical biology.

[295]  James M. Bower,et al.  Computational modeling of genetic and biochemical networks , 2001 .

[296]  M. Savageau Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.

[297]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[298]  Daniel Kahneman,et al.  Probabilistic reasoning , 1993 .

[299]  S A Kauffman,et al.  Control of sequential compartment formation in Drosophila. , 1978, Science.

[300]  Matsumoto,et al.  Finding Genetic Network from Experiments by Weighted Network Model. , 1998, Genome informatics. Workshop on Genome Informatics.

[301]  M. Snyder,et al.  Protein arrays and microarrays. , 2001, Current opinion in chemical biology.

[302]  L. Glass,et al.  Symbolic dynamics and computation in model gene networks. , 2001, Chaos.

[303]  D E Koshland,et al.  The Era of Pathway Quantification , 1998, Science.

[304]  Andrew Pomiankowski,et al.  The evolutionary potential of the Drosophila sex determination gene network. , 2003, Journal of theoretical biology.

[305]  Michael R. Green,et al.  Dissecting the Regulatory Circuitry of a Eukaryotic Genome , 1998, Cell.

[306]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[307]  M. Reinders,et al.  Genetic network modeling. , 2002, Pharmacogenomics.

[308]  G. Weisbuch Networks of automata and biological organization , 1986 .

[309]  George S. Michaels,et al.  Sensitivity of Biological Models to Errors in Parameter Estimates , 1999, Pacific Symposium on Biocomputing.

[310]  Jérôme Euzenat,et al.  A Knowledge Base for D. melanogaster Gene Interactions Involved in Pattern Formation , 1997, ISMB.

[311]  J. Keizer Biochemical Oscillations and Cellular Rhythms: The molecular bases of periodic and chaotic behaviour, by Albert Goldbeter , 1998 .

[312]  J. Mahaffy,et al.  Cellular control models with linked positive and negative feedback and delays. I. The models. , 1984, Journal of theoretical biology.

[313]  D. Bray,et al.  Predicting temporal fluctuations in an intracellular signalling pathway. , 1998, Journal of theoretical biology.

[314]  D Haussler,et al.  Knowledge-based analysis of microarray gene expression data by using support vector machines. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[315]  H. McAdams,et al.  Circuit simulation of genetic networks. , 1995, Science.

[316]  G. Odell,et al.  A genetic switch, based on negative regulation, sharpens stripes in Drosophila embryos. , 1989, Developmental genetics.

[317]  B C Goodwin,et al.  Drosophila segmentation: supercomputer simulation of prepattern hierarchy. , 1990, Journal of theoretical biology.

[318]  René Thomas,et al.  Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977 , 1979 .

[319]  L. Serrano,et al.  Engineering stability in gene networks by autoregulation , 2000, Nature.

[320]  Robert B. Trelease,et al.  A qualitative process system for modeling NF-kB and AP-1 gene regulation in immune cell biology research , 1999, Artif. Intell. Medicine.

[321]  Marcel J. T. Reinders,et al.  Linear Modeling of Genetic Networks from Experimental Data , 2000, ISMB.

[322]  Benjamin Kuipers,et al.  Qualitative and Quantitative Simulation: Bridging the Gap , 1997, Artif. Intell..

[323]  Peter D. Karp Design Methods for Scientific Hypothesis Formation and Their Application to Molecular Biology , 2004, Machine Learning.

[324]  Steffen Schulze-Kremer,et al.  Design and implementation of a qualitative simulation model of lambda phage infection , 1998, Bioinform..

[325]  P. Kahn From Genome to Proteome: Looking at a Cell's Proteins , 1995 .

[326]  Michael A. Gibson,et al.  Modeling the Activity of Single Genes , 1999 .

[327]  A. Goldbeter A model for circadian oscillations in the Drosophila period protein (PER) , 1995, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[328]  Scott Meyers,et al.  Knowledge-based simulation of genetic regulation in bacteriophage lambda , 1984, Nucleic Acids Res..

[329]  H M Sauro,et al.  SCAMP: a general-purpose simulator and metabolic control analysis program , 1993, Comput. Appl. Biosci..