Documentation

GINsim is a software tool implementing the multilevel logical formalism. It leans on two main types of graphs: Logical Regulatory Graphs, which model regulatory networks, and transition graphs, which represent their dynamical behaviour.

Logical Regulatory Graphs

Define regulatory graphs

Simulation

Simulation and transition graphs

Analyse transition graphs

Post-analysis for simulation results

Static analysis

Dynamical information obtained without simulation

Model modifications

Transform models

Formats and interoperability

Save, import or export models and transition graphs

Advanced

Troubleshooting and scripting

Graphical interface

The main windows and dialog of the GINsim GUI

Simulation

Simulation and transition graphs

Analyse transition graphs

Post-analysis for simulation results

Static analysis

Dynamical information obtained without simulation

Model modifications

Transform models

Formats and interoperability

Save, import or export models and transition graphs

Install and Run GINsim

Availability, requirements, first run

Logical Regulatory Graphs

Define regulatory graphs

Advanced

Troubleshooting and scripting

Graphical interface

The main windows and dialog of the GINsim GUI