Élucider le fonctionnement d'un réseau de régulation biologique par l'informatique

En modelisation mathematique, l'ordinateur effectue souvent de gros calculs de simulations. En biologie des systemes, lorsque les interactions non lineaires rendent impossible la determination du comportement general d'un systeme a partir de quelques simulations, meme lorsque ce systeme ne contient qu'un petit nombre d'elements, la logique formelle informatique peut assister la decouverte de modeles et suggerer des experiences « a la paillasse ».