title: Analysing formal models of genetic regulatory networks with delays.
abstract: 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.
authors.affiliation: IRCCyN UMR CNRS 6597, BP 92101, 44321 Nantes Cedex 3, France. jamil.ahmad@irccyn.ec-nantes.fr
authors.forename: Jamil
authors.initials: J
authors.lastname: Ahmad
authors.forename: Olivier
authors.initials: O
authors.lastname: Roux
authors.forename: Gilles
authors.initials: G
authors.lastname: Bernot
authors.forename: Jean-Paul
authors.initials: JP
authors.lastname: Comet
mesh_terms: 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*
chemical_list: D020543:Proteome