Electronic Notes in Theoretical Computer Science · 2007 · 51 citations · 10 references
Life SciencesBiologyBiological Systems ModelingGene RegulationGene Regulatory NetworksBiological NetworksInteraction NetworksGene Network ModelingGene Regulatory Network ModelsRegulatory Network ModelingStable SetState Transition SystemsTransition Systems
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.
10