Modélisation de systèmes biologiques en programmation par contraintes
Résumé
Le but de ce stage a été de montrer que la programmation concurrente avec contraintes hybrides est satisfaisante pour modéliser différents systèmes biologiques au niveau moléculaire. Le rapport contient entre autres un état de l'art des modèles de réseaux génétiques, présente Hcc, le langage de programmation utilisé, ainsi que son emploi sur différents modèles courants.