| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 424313 | Electronic Notes in Theoretical Computer Science | 2007 | 12 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
