Handbook of theoretical computer science (vol. B)
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Decision procedures and expressiveness in the temporal logic of branching time
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
Fundamenta Informaticae
Modeling multi-valued genetic regulatory networks using high-level petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Graph-Based modeling of biological regulatory networks: introduction of singular states
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
Fundamenta Informaticae
| Hi-index | 0.00 |
The Computational Tree Logic allows us to express some properties of genetic regulatory networks. These systems are studied using the feedback circuits evolved by Ren茅 Thomas which constitute the semantic of our formal approach. We illustrate this formal language with the system of mucus production in pseudomonas aeruginosa, which is a mucoid bacteria that plays an important role in the cystic fibrosis. With the Thomas' theory, we could wonder if the mucoid state could be a steady state alternative to the non-mucoid state.We would like to know whether it is possible to have a recurrent mucoid state. Model-checking allows us to prove that the formula which expresses this property is satisfied by certain models. Moreover, using this formal language we can propose scenarii for confronting the model to experimentation.