Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. GINsim is a software supporting the definition, the simulation and the analysis of regulatory graphs. The underlying multilevel logical formalism leans on the definition of two types of graphs: regulatory graphs, which model regulatory networks, and state transition graphs, which represent their dynamical behaviour.

GINsim (Gene Interaction Network simulation) is a computer tool for the modeling and simulation of genetic regulatory networks.
Recent developments in functional genomics have generated large amounts of data on gene expression and on the underlying regulatory mechanisms. This has resulted in the progressive mapping of complex regulatory networks.

As these networks usually include numerous intertwined feedback circuits, gaining an understanding of their spatio-temporal behaviour defies the intuition of the biologists. In this respect, formal modelling and simulation tools become a necessary complement to experimental tools. As precise information on molecular mechanisms and the value of kinetic parameters are currently difficult to establish, qualitative methods offer a highly attractive approach to model and analyse essential properties of genetic regulatory networks.

GINsim consists of a simulator of qualitative models of genetic regulatory networks based on a discrete, logical formalism.

GINsim allows the user to specify a model of a genetic regulatory network in term of asynchronous, multivalued logical functions, and to simulate and/or analyse its qualitative dynamical behaviour.

Requirements:
* Java

The license of this software is Freeware, you can free download and free use this cad software.