UNLABELLED: Constraint-based modeling of genome-scale metabolic networks has been successfully used in numerous applications such as prediction of gene essentiality and metabolic engineering. We present SurreyFBA, which provides constraint-based simulations and network map visualization in a free, stand-alone software. In addition to basic simulation protocols, the tool also implements the analysis of minimal substrate and product sets, which is useful for metabolic engineering and prediction of nutritional requirements in complex in vivo environments, but not available in other commonly used programs. The SurreyFBA is based on a command line interface to the GLPK solver distributed as binary and source code for the three major operating systems. The command line tool, implemented in C++, is easily executed within scripting languages used in the bioinformatics community and provides efficient implementation of tasks requiring iterative calls to the linear programming solver. SurreyFBA includes JyMet, a graphics user interface allowing spreadsheet-based model presentation, visualization of numerical results on metabolic networks represented in the Petri net convention, as well as in charts and plots. AVAILABILITY: SurreyFBA is distributed under GNU GPL license and available from http://sysbio3.fhms.surrey.ac.uk/SurreyFBA.zip.

MOTIVATION: Metabolic modelling provides a mathematically rigorous basis for system-level analysis of biochemical networks. However, the growing sizes of metabolic models can lead to serious problems in their construction and validation. In this work, we describe a relatively poorly investigated type of modelling error, called stoichiometric inconsistencies. These errors are caused by incorrect definitions of reaction stoichiometries and result in conflicts between two fundamental physical constraints to be satisfied by any valid metabolic model: positivity of molecular masses of all metabolites and mass conservation in all interconversions. RESULTS: We introduce formal definitions of stoichiometric inconsistencies, inconsistent net stoichiometries, elementary leakage modes and other important fundamental properties of incorrectly defined biomolecular networks. Algorithms are described for the verification of stoichiometric consistency of a model, detection of unconserved metabolites and inconsistent minimal net stoichiometries. The usefulness of these algorithms for effective resolving of inconsistencies and for detection of input errors is demonstrated on a published genome-scale metabolic model of Saccharomyces cerevisiae and one of Streptococcus agalactiae constructed using the KEGG database. AVAILABILITY: http://mudshark.brookes.ac.uk/index.php/Albert_Gevorgyan.