Semantics of Biological Regulatory Networks

Authors:
Gilles Bernot;Franck Cassez;Jean-Paul Comet;Franck Delaplace;Céline Müller;Olivier Roux
Affiliations:
LaMI-genopole, UMR CNRS 8042, UEVE, 523 Place des Terrasses, 91025 Evry Cedex, France;IRCCyN, UMR CNRS 6597, BP 92101 1 rue de la Noë, 44321 Nantes Cedex 3, France;LaMI-genopole, UMR CNRS 8042, UEVE, 523 Place des Terrasses, 91025 Evry Cedex, France;LaMI-genopole, UMR CNRS 8042, UEVE, 523 Place des Terrasses, 91025 Evry Cedex, France;LaMI-genopole, UMR CNRS 8042, UEVE, 523 Place des Terrasses, 91025 Evry Cedex, France;IRCCyN, UMR CNRS 6597, BP 92101 1 rue de la Noë, 44321 Nantes Cedex 3, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 0
Cited 7

Analysing formal models of genetic regulatory networks with delays

International Journal of Bioinformatics Research and Applications
Invariance kernel of Biological Regulatory Networks

International Journal of Data Mining and Bioinformatics
Abstract Interpretation of Dynamics of Biological Regulatory Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Refining dynamics of gene regulatory networks in a stochastic π-calculus framework

Transactions on computational systems biology XIII
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
Concretizing the process hitting into biological regulatory networks

CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Under-Approximating cut sets for reachability in large scale automata networks

CAV'13 Proceedings of the 25th international conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by Rene 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 Rene 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.