René Thomas' discrete modelling of gene regulatory networks (GRN) is a well-known
approach to study the dynamics resulting from a set of interacting genes. It deals with some …

In this paper, we propose a refinement of the modelling of biological regulatory networks
based on the discrete approach of Rene Thomas. We refine and automatise the use of …

The discrete modeling formalism of René Thomas is a well known approach for the
modeling and analysis of Biological Regulatory Networks (BRNs). This formalism uses a set …

Model checking has proven to be a useful analysis technique not only for concurrent
systems, but also for genetic regulatory networks (Grns). Applications of model checking in …

The modelling of gene regulatory networks (GRNs) has classically been addressed through
very different approaches. Among others, extensions of Thomas's asynchronous Boolean …

In the last decades, logical or discrete models have emerged as a successful paradigm for
capturing and predicting the behaviors of systems of molecular interactions. Intuitively, they …

In this paper, we address the problem of modeling biological regulatory networks thanks to
the stochastic π-calculus. We propose a method which extends a logical method, that is the …

Les réseaux de régulation génique contrôlent le développement et le fonctionnement des
organismes vivants. Etant donné que la plupart des réseaux de régulation génique d'intérêt …

Modeling paradigms for Systems Biology plays an important role in investigating the
orchestrated function of various biological systems. Additionally, they permit one to study a …

In this article, we propose a refinement of the modeling of genetic regulatory networks based
on the approach of René Thomas. The notion of delays of activation/inhibition are added in …