http://anna.fi.muni.cz/~xdrazan/biodivine/ 2010-02-16T02:18:42+01:00 http://anna.fi.muni.cz/~xdrazan/biodivine/ http://anna.fi.muni.cz/~xdrazan/biodivine/lib/images/favicon.ico text/html 2010-02-11T11:32:40+01:00 David Šafránek http://anna.fi.muni.cz/~xdrazan/biodivine/doku.php?id=documentation:biodivine:index&rev=1265884360&do=diff BioDiVinE is a tool set created for verifying properties of biochemical systems given as a system of ordinary differential equations. It is an evolutionary branch of the DiVinE tool accompanied by the GeNeSim GUI for model management. Installation * download and unpack the instalation package from <http://anna.fi.muni.cz/genesim/biodivine/download> text/html 2009-11-11T19:02:16+01:00 Jana Fabriková http://anna.fi.muni.cz/~xdrazan/biodivine/doku.php?id=documentation:genesim:quantitative&rev=1257962536&do=diff Let A,B,C be chemical species participating in the following reactions: A + B <-> C C -> whose reaction rates are: first reaction forward - k1=0.1, backward k2=0.01, the degradation of C - rate k3=0.05. Let the range of concentration of A,B,C be 0.001-0.8 and let us choose treshold concentrations 0.2, 0.6 for A, treshold 0.3 for B and tresholds 0.4, 0.5 for C. (In real models the tresholds specify concentration levels of given chemical species, where an interesting behaviour occures.)