Modelling genetic regulatory networks from specified behaviours

Introduction Modelling and simulation are needed to understand genetic regulatory networks. But parameters of the models are usually difficult to determine. To deal with this problem we propose a methodology in which the qualitative approach developed by R. Thomas [1] is used. The parameters of the model, which are related to the kinetic parameters of a differential description, may be unknown. We translate the set of possible models into one Symbolic Transition System, and the known behaviours into temporal logic formulas; then the constraints on the parameters corresponding to all models having the specified behaviours can be determined.