Enzymatic competition: Modeling and verification with timed hybrid petri nets

Sylvie Troncale 1 Jean-Paul Comet 2, * Gilles Bernot 3
* Auteur correspondant
1 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Abstract : 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.
Type de document :
Article dans une revue
Pattern Recognition Letters, Elsevier, 2009, 42 (4), pp.562--566. <10.1016/j.patcog.2008.09.019>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00967379
Contributeur : Frédéric Davesne <>
Soumis le : vendredi 28 mars 2014 - 14:36:02
Dernière modification le : jeudi 9 février 2017 - 15:50:55
Document(s) archivé(s) le : samedi 28 juin 2014 - 11:45:56

Fichier

2009-PatternReco-Troncale_al_D...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot. Enzymatic competition: Modeling and verification with timed hybrid petri nets. Pattern Recognition Letters, Elsevier, 2009, 42 (4), pp.562--566. <10.1016/j.patcog.2008.09.019>. <hal-00967379>

Partager

Métriques

Consultations de
la notice

108

Téléchargements du document

61