Logical modelling and analysis of cellular regulatory networks with GINsim 3.0.

The logical formalism is well adapted to model large cellular networks, in particular when kinetic data are scarce. This tutorial focuses on this well-established qualitative framework. Relying on GINsim (release 3.0), a software implementing this formalism, we guide the reader step by step towards the definition, the analysis and the simulation of a four-node model of the mammalian p53-Mdm2 network.