Réseaux booléens : formalisme, sémantiques, et complexité - Archive ouverte HAL Accéder directement au contenu
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 non déposé

Dates et versions

hal-03612593 , version 1 (17-03-2022)

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⟩

Collections

CNRS ANR
51 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More