# GINsim 3.0 Documentation

GINsim (see Naldi 2009) is a tool implementing the multilevel logical formalism. It leans on two main types of graphs: Logical Regulatory Graphs, which model regulatory networks, and State Transition Graphs, which represent their dynamical behaviour. See also the Tutorial.

## Define Logical Regulatory Graphs

## Modify Logical Regulatory Graphs

## Generic Graphs

GINsim relies on Graphs to represent logical models and their dynamical behaviour.