Approches symboliques de la modélisation et de l’analyse des systèmes biologiques

Analyses des motifs accessibles dans les modèles Kappa

---

Résumé :

Ce chapitre propose un langage de réécriture pour modéliser l’évolution d'ensembles d'instances de protéines et de leurs liaisons. Ce niveau de détail permet une représentation compacte grâce à une description locale des interactions et ouvre la voie à diverses abstractions. En particulier, nous utilisons ici cette structure pour calculer des propriétés locales des complexes protéiques.