about this chapterpresentation abstract bibitemdownloadsbook chapter editor version |
Analyses des motifs accessibles dans les modèles Kappa.
In Approches symboliques de la modélisation et de l'analyse des systèmes biologiques. C. Lhoussaine and Eacute;. Remy (Eds.). ISTE.
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.