Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network

Authors:
Gilles Bernot;Fariza Tahi
Affiliations:
(Correspd.) Laboratoire I3S, UMR 6070 UNSA-CNRS, Algorithmes-Euclide-B, 2000, route des Lucioles B.P. 121, F-06903 Sophia Antipolis CEDEX, France. bernot@unice.fr;IBISC FRE 3190, Université d'Evry-CNRS, Genopole 523 place des Terrasses, F-91000 Evry, France. fariza.tahi@ibisc.univ-evry.fr
Venue:
Fundamenta Informaticae
Year:
2009

Citing 5
Cited 0

Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata

RSP '03 Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03)
Fixed points and maximal independent sets in AND-OR networks

Discrete Applied Mathematics
Qualitative simulation of genetic regulatory networks: method and application

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A unifying framework for modelling and analysing biochemical pathways using Petri nets

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The main contribution of this work is a mathematical theorem which establishes a necessary and sufficient condition to preserve the behaviour of a genetic regulatory network when it is embedded into a larger network. We adopt the modelling approach of René Thomas, which provides a discrete representation of biological regulatory networks. This framework is entirely formalized using labelled graphs with semantics defined in terms of state graphs with transitions. Our theorem offers the possibility to automatically verify whether a subnetwork has autonomous behaviour. It will allow biologists to better identify relevant sets of genes which should be studied together.