about this chapterpresentation abstract bibitemdownloadsbook chapter editor version |
Analyse statique et réduction de modèles de voies de signalisation intracellulaire
In Informatique Mathématique. Une photographie en 2023. L. Fuchs (Ed.). CNRS &Editions.
Résumé : Ce chapitre décrit deux applications des méthodes formelles pour Kappa, un langage de réécriture de graphes à sites utilisé en modélisation de systèmes biologiques. La première est une analyse statique pour détecter des motifs qui ne pourront jamais apparaître en cours d'exécution. La seconde réduit les modèles pour obtenir une représentation concise de leurs comportements sous forme de systèmes d'équations différentielles ordinaires.