Embedding of biological regulatory networks and property preservation

Mbarka Mabrouki (1) , Marc Aiguier (2) , Jean-Paul Comet (3) , Pascale Le Gall (2) , Adrien Richard (3)

1 Programme d'Épigénomique
2 MAS - Mathématiques Appliquées aux Systèmes - EA 4037
3 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO

In the course of understanding biological regulatory networks (BRN), scientists usually start by studying small BRNs that they believe to be of particular importance to represent a biological function, and then, embed them in a larger network. Such a reduction can lead to neglect relevant regulations and to study a network whose properties can be very different from the properties of this network viewed as a part of the whole. In this paper we study, from a logical point of view, on which conditions concerning both networks, properties can be inherited by BRNs from sub-BRNs.We give some conditions on the nature of the network embeddings ensuring that dynamic properties on the embedded sub-BRNs are preserved at the level of the whole BRN.

Mots clés: temporal logic; Biological regulatory networks; network embedding; property preservation; mathematical modeling; temporal logic.

Domaines: Logique en informatique [cs.LO]

Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard. Embedding of biological regulatory networks and property preservation. Mathematics in Computer Science, 2011, 5 (1), pp.263-288. ⟨hal-00782867⟩