Genetic Network Analyzer (GNA)
Genetic Network Analyzer (GNA) is the implementation of a method for the qualitative modeling and simulation of genetic regulatory networks developed in the IBIS project. The input of GNA consists of a model of the regulatory network in the form of a system of piecewise-linear differential equations, supplemented by inequality constraints on the parameters and initial conditions. From this information, GNA generates a state transition graph summarizing the qualitative dynamics of the system. GNA is currently distributed by the company Genostar, but remains freely available for academic research purposes. The current version is GNA 7.0. In comparison with the previously distributed versions, GNA 7.0 has the following additional functionalities. First, the specification of the qualitative dynamics of a network in temporal logic, using high-level query templates. Second, the automated verification of these properties on the state transition graph by means of standard model-checking tools, either locally installed or accessible through a remote web server. For more information, see http://www-helix.inrialpes.fr/gna .