GINsim is a Java application for the construction and analysis of multi-valued logical models.
GINsim provides a user-friendly graphical interface to define the model itself. A collection of import and export filters enables the exchange of models with other tools (beside SBML qual, it supports some Petri net and model-checker formats).
GINsim supports the simulation of logical models by generating state transition graphs for synchronous and asynchronous updating modes, as well as piority classes.
Beside simulation, GINsim offers efficient methods for the determination of stable states without exploring the STG, as well as for the analysis of regulatory circuits associated to crucial dynamical properties.