Enzymatic competition: Modeling and verification with timed hybrid petri nets

Sylvie Troncale 1 Jean-Paul Comet 2, * Gilles Bernot 3
* Corresponding author
1 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
3 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO
Laboratoire I3S - MDSC - Modèles Discrets pour les 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.
Liste complète des métadonnées

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00967379
Contributor : Frédéric Davesne <>
Submitted on : Friday, March 28, 2014 - 2:36:02 PM
Last modification on : Monday, November 5, 2018 - 3:48:02 PM
Document(s) archivé(s) le : Saturday, June 28, 2014 - 11:45:56 AM

File

2009-PatternReco-Troncale_al_D...
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

268

Files downloads

106