Semantics of Biological Regulatory Networks

Gilles Bernot*, Franck Cassez, Jean Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

34 Citations (Scopus)


The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a formal semantics for BRN in terms of transition systems which formalizes the evolution rules given by René Thomas. Then we show how to use this model to find interesting properties of a BRN like the set of stable states, cycles etc using tools for analyzing transition systems.

Original languageEnglish
Pages (from-to)3-14
Number of pages12
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - 18 Jul 2007
Externally publishedYes


  • Biological regulatory network
  • biological system
  • BRN


Dive into the research topics of 'Semantics of Biological Regulatory Networks'. Together they form a unique fingerprint.

Cite this