MOTIVATION: The modeling and simulation of genetic regulatory networks have created the need for tools for model validation. The main challenges of model validation are the achievement of a match between the precision of model predictions and experimental data, as well as the efficient and reliable comparison of the predictions and observations. RESULTS: We present an approach towards the validation of models of genetic regulatory networks addressing the above challenges. It combines a method for qualitative modeling and simulation with techniques for model checking, and is supported by a new version of the computer tool Genetic Network Analyzer (GNA). The model-validation approach has been applied to the analysis of the network controlling the nutritional stress response in Escherichia coli. AVAILABILITY: GNA and the model of the stress response network are available at http://www-helix.inrialpes.fr/gna.
MOTIVATION: The modeling and simulation of genetic regulatory networks have created the need for tools for model validation. The main challenges of model validation are the achievement of a match between the precision of model predictions and experimental data, as well as the efficient and reliable comparison of the predictions and observations. RESULTS: We present an approach towards the validation of models of genetic regulatory networks addressing the above challenges. It combines a method for qualitative modeling and simulation with techniques for model checking, and is supported by a new version of the computer tool Genetic Network Analyzer (GNA). The model-validation approach has been applied to the analysis of the network controlling the nutritional stress response in Escherichia coli. AVAILABILITY: GNA and the model of the stress response network are available at http://www-helix.inrialpes.fr/gna.
Authors: Xiling Shen; Justine Collier; David Dill; Lucy Shapiro; Mark Horowitz; Harley H McAdams Journal: Proc Natl Acad Sci U S A Date: 2008-08-06 Impact factor: 11.205
Authors: Amir Rubinstein; Vyacheslav Gurevich; Zohar Kasulin-Boneh; Lilach Pnueli; Yona Kassir; Ron Y Pinter Journal: Proc Natl Acad Sci U S A Date: 2007-03-30 Impact factor: 11.205
Authors: Gregory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro Monteiro; Hidde de Jong Journal: Bioinformatics Date: 2010-09-15 Impact factor: 6.937
Authors: Pedro T Monteiro; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T Freitas; Hidde de Jong Journal: BMC Bioinformatics Date: 2009-12-30 Impact factor: 3.169