User documentation for GINsim
GINsim (see Naldi 2009) is a tool implementing the multilevel logical formalism. It leans on two main types of graphs: , which model regulatory networks, and , which represent their dynamical behaviour.
Logical regulatory graph: model
Transition Graphs: dynamics
GINsim relies of Graphs to represent logical models and their dynamical behaviour.