|
|
 |
|
|
Qualitative analysis of genetic regulatory networks: A model-checking approach |
|
 |
|
|
|
|
|
|
|
B. Bredeweg, P. Salles (eds.), Working Notes of Seventeenth International Workshop on Qualitative Reasoning, QR 2003, Brasilia, Brazil, 31-38, 2003 |
|
|
|
|
| |
| G. Batt, H. de Jong, J. Geiselmann, M. Page |
| |
Methods developed for the qualitative simulation of dynamical systems have turned out to be powerful tools for studying genetic regulatory networks. A bottleneck in the application of these methods is the analysis of the simulation results. In this paper, we propose a combination of qualitative simulation and model-checking techniques to perform this task systematically and efficiently. By means of the example of the network controlling the initiation of sporulation in B. subtilis, we argue that this approach is well-adapted to the kind of questions biologists habitually ask and the kind of data available to answer these questions.
|
|
|
 |
