Analysing formal models of genetic regulatory networks with delays.
In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Rene Thomas. We refine and automatise the use of delays of activation/inhibition in order to specify which variable is more quickly affected by a change of its regulators. The formalism of linear hybrid automata is well suited to allow such refinement. We then use HyTech for two purposes: to find automatically all paths from a specified initial state to another one; to synthesise constraints on the delay parameters in order to follow any specific path.
Ahmad
Jamil
J
IRCCyN UMR CNRS 6597, BP 92101, 44321 Nantes Cedex 3, France. jamil.ahmad@irccyn.ec-nantes.fr
Roux
Olivier
O
Bernot
Gilles
G
Comet
Jean-Paul
JP
D000465:Algorithms; D003198:Computer Simulation; D005786:Gene Expression Regulation / Q000502:physiology*; D008954:Models, Biological; D017711:Nonlinear Dynamics; D020543:Proteome / Q000378:metabolism*; D015398:Signal Transduction / Q000502:physiology*
D020543:Proteome