Overview
GINsim is a software tool designed for the creation and analysis of logical models of gene regulatory networks. It uses a graph-based representation of regulatory networks (logical regulatory graph) and dynamics (state transition graph). The graphical interface facilitates model definition with node and arc insertion/deletion, allowing users to define logical rules as Boolean expressions or combinations of interactions. These rules are encoded as multilevel decision diagrams for computing dynamical properties. GINsim supports model perturbation, reference state definition, consistency verification, stable state computation, and regulatory circuit identification. It offers functionalities for model reduction, conversion to Boolean models, and reversion for reverse dynamics analysis. GINsim imports models in SBML-qual and exports to formats compatible with NuSMV and MaBoSS, enhancing interoperability with other logical modeling tools.