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 Access content directly
Book Sections Year : 2023

Analyse statique et réduction de modèles de voies de signalisation intracellulaire

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Licence

Copyright

Identifiers

  • HAL Id : hal-04144668 , version 1

Cite

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⟩
30 View
17 Download

Share

Gmail Mastodon Facebook X LinkedIn More