Modélisation logique de la régulation de p53. Le panneau A présente les composants du système et leurs interactions. Les niveaux de p53 (ou TP53, tumor protein 53) sont régulés par l’ubiquitine ligase Mdm2 (mouse double minute 2 homolog) qui catalyse la dégradation continue de p53. Inversement, p53 diminue les niveaux de Mdm2 nucléaire en inhibant sa translocation vers le noyau. Dans le même temps, p53 active la transcription du gène MDM2. Les règles logiques qui sont appliquées entre les différentes variables sont montrées dans le panneau A, avec les symboles Booléens et leur signification : !=NOT ; &=AND ; |=OR. Dans la forme la plus simple de logique, les variables prennent une valeur de 1 (= présent) ou 0 (= absent). Cependant, dans des modèles plus complexes, il est possible d’attribuer d’autres valeurs que 1. L’état actuel du système est décrit par un vecteur d’état, par exemple 0101 (c’est à dire : p53 = absent, Mdm2 cytoplasmique = présent, Mdm2 nucléaire = absent, lésions de l’ADN = présent). Les variables du système sont liées par des fonctions logiques. En appliquant ces fonctions, il est possible de déterminer l’évolution de l’état du système. Le panneau B présente l’évolution de l’état 0200, où trois évolutions sont possibles. En utilisant ce type de modèle logique, il est possible d’identifier l’état 0110 (p53 = absent, Mdm2 cytoplasmique = présent, Mdm2 nucléaire = présent, lésions de l’ADN = absent, souligné ici en jaune) comme un état stable. Il est aussi possible d’appliquer des perturbations afin d’explorer la robustesse du système, et son évolution dans différentes conditions initiales. Cet exemple est tiré des travaux de Abou-Jaoude et al. [27].