Analyse statique et réduction de modèles de voies de signalisation intracellulaire
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|