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´e 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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.