TITLE: A Discrete Approach to Model Biological Gene Regulatory Networks and the Use of Temporal Logic to Propose Wet Experiments ABSTRACT: Based on the discrete definition of biological regulatory networks developped by René Thomas, we provide a formal framework to treat temporal properties of biological regulatory networks, expressed in Computational Tree Logic. It is then possible to encode some biological knowledge and to automatically compute the set of models biologically sensible. The chosen temporal properties can reflect established knowledge about the biological system as well as hypotheses which motivate the biological research. If the set of computed models is not empty, then we can manipulate the temporal formulae which formalize the hypotheses to extract the "observable consequences". This allows us to derive a set of sensible wet experiments capable to refute (or validate) the hypotheses. Our approach is illustrated on the mucus production example in Pseudomonas aeruginosa, a bacteria involved in cystic fibrosis.