Efficient Verification for Logical Models of Regulatory Networks
The logical framework allows for the qualitative analysis of complex regulatory networks that control cellular processes. However, the study of large models is still hampered by the combinatorial explosion of the number of states. In this manuscript we present our work to analyse logical models of regulatory networks using model checking techniques.We propose a symbolic encoding (using NuSMV) of logical regulatory graphs, also considering priority classes. To achieve a reduction of the state space, we further label the transitions with the values of the input components. This encoding has been implemented in the form of an export facility in GINsim, a software dedicated to logical models. The potential of our symbolic encoding is illustrated through the analysis of the segment-polarity module of the Drosophila embryo segmentation.
KeywordsRegulatory networks Logical modelling Model-checking
Unable to display preview. Download preview PDF.
- 1.Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics 21 (suppl.), i19–i28 (2005)Google Scholar
- 10.Thomas, R., D’Ari, R.: Biological Feedback. CRC Press (1990)Google Scholar