Related Experiment Video
Updated: Aug 2, 2026

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression
Published on: October 6, 2019
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with
Gilles Bernot1, Jean-Paul Comet, Adrien Richard
1La.M.I., Laboratoire de Méthodes Informatiques, UMR 8042, CNRS & Université d'Evry,Boulevard François Mitterrand, 91025 Evry Cedex, France. bernot@lami.univ-evry.fr
Abstract:
Based on the discrete definition of biological regulatory networks developed by René Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudomonas aeruginosa. This application of formal methods from computer science to biological regulatory networks should open the way to many other fruitful applications.
More Related Videos
Related Concept Videos
Neural Regulation
Circadian Rhythms and Gene Regulation
Synthetic Biology
Golden rice
Golden rice is a genetically modified...
Regulation of Metabolism
Protein Networks
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
Circadian Rhythms and Gene Regulation

