Analyse statique et réduction de modèles de voies de signalisation intracellulaire - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

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.
Fichier principal
Vignette du fichier
ejcim.pdf (1.27 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04144668 , version 1 (28-06-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04144668 , version 1

Citer

Jérôme Feret. Analyse statique et réduction de modèles de voies de signalisation intracellulaire. Informatique Mathématique Une photographie en 2023, CNRS, pp.67, 2023. ⟨hal-04144668⟩
27 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More