Enzymatic competition: Modeling and verification with timed hybrid petri nets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Pattern Recognition Letters Année : 2009

Enzymatic competition: Modeling and verification with timed hybrid petri nets

Résumé

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.
Fichier principal
Vignette du fichier
2009-PatternReco-Troncale_al_Draft.pdf (161.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00967379 , version 1 (28-03-2014)

Identifiants

Citer

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot. Enzymatic competition: Modeling and verification with timed hybrid petri nets. Pattern Recognition Letters, 2009, 42 (4), pp.562--566. ⟨10.1016/j.patcog.2008.09.019⟩. ⟨hal-00967379⟩
184 Consultations
124 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More