Afficher la couverture 'Enzymatic competition: Modeling and verification with timed hybrid petri nets | Troncale, Sylvie' en grand format
/5

0 avis

Enzymatic competition: Modeling and verification with timed hybrid petri nets

Archive ouverte

Troncale, Sylvie | Comet, Jean-Paul | Bernot, Gilles

Edité par CCSD ; Elsevier -

International audience. The formalism of hybrid functional petri nets (HFPN) has proved its convenience for simulating biological systems. The drawback of the noticeable expressiveness of HFPN is the difficulty to perform formal verifications of dynamical properties. In this article, we propose a model-checking procedure for timed hybrid petri nets (THPN), a sub-class of HFPN. This procedure is based on the translation of the THPN model and of the studied property into real-time automata. It is applied to model enzymatic competitions existing in amphibian metamorphosis.

Suggestions

Du même auteur

Regulatory networks

Archive ouverte | Bernot, Gilles | CCSD

International audience

Semantics of Biological Regulatory Networks

Archive ouverte | Bernot, Gilles | CCSD

International audience. 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 seman...

Modeling and analysis of gene regulatory networks

Archive ouverte | Bernot, Gilles | CCSD

Partie 2. International audience. This chapter describes basic principles for modeling genetic regulatory networks, using three different classes of formalisms: discrete, hybrid, and continuous differential systems....

Chargement des enrichissements...