Méthodes formelles pour la modélisation des réseaux d'interaction

Face à l'évolution des techniques d'investigations massives des réseaux biologiques, la question se pose quant à l'exploitation de la quantité d'information qui en découle. Ceci demande un effort en terme de modélisation qui passe entre autre par la définition de langages formels dans lesquels décrire les données.
Parmi les familles de langages qui ont été proposées, celles héritées des algèbres de processus (k-calcul, brane-calcul, ...) ont montré qu'elles étaient pertinentes pour décrire une biologie moléculaire qualitative, basée sur les interactions protéines-protéines et protéines-membranes.
Outre les motivations liées à l'utilisation de cette famille de langages, je présenterai plusieurs travaux basés sur les notions qu'elle développe. J'aborderai également des problématiques liées à la reconstruction des réseaux de régulation à partir de données partielles, ce qui conduit au développement de techniques complémentaires.