Réseaux booléens : formalisme, sémantiques, et complexité - Université de Bordeaux
Chapitre D'ouvrage Année : 2022

Réseaux booléens : formalisme, sémantiques, et complexité

Résumé

Ce chapitre présente le formalisme des réseaux booléens, leur relation avec d'autres modèles informatiques classiques, et leur adéquation pour la modélisation des systèmes biologiques. Le chapitre détaille la sémantique la plus permissive (MP) qui apporte une abstraction correcte des comportements quantitatifs, et conclut sur des aspects de complexité pour la vérification de propriétés dynamiques d'accessibilité et d'attracteurs.
Fichier principal
Vignette du fichier
main.pdf (441.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03612593 , version 1 (21-10-2024)

Identifiants

  • HAL Id : hal-03612593 , version 1

Citer

Loïc Paulevé. Réseaux booléens : formalisme, sémantiques, et complexité. Cédric Lhoussaine; Élisabeth Remy. Approches symboliques de la modélisation et de l'analyse des systèmes biologiques, ISTE Editions, 2022, 9781789490299. ⟨hal-03612593⟩
56 Consultations
0 Téléchargements

Partager

More