Abstract

Mucoidy and cytotoxicity arise from two independent modifications of the phenotype of the bacterium Pseudomonas aeruginosa that contribute to the mortality and morbidity of cystic fibrosis. We show that, even though the transcriptional regulatory networks controlling both processes are quite different from a molecular or mechanistic point of view, they may be identical from a dynamic point of view: epigenesis may in both cases be the cause of the acquisition of these new phenotypes. This was highlighted by the identity of formal graphs modelling these networks. A mathematical framework based on formal methods from computer science was defined and implemented with a software environment. It allows an easy and rigorous validation and certification of these models and of the experimental methods that can be proposed to falsify or validate the underlying hypothesis.