Verification of biological models with Timed Hybrid Petri nets

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 a sub-network involved in amphibian metamorphosis.
Type de document :
Communication dans un congrès
Computational Models For Life Sciences (CMLS 2007), 2007, Australia. 952, pp.287--296, 2007, 〈10.1063/1.2816633〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00342179
Contributeur : Frédéric Davesne <>
Soumis le : samedi 18 juillet 2009 - 18:14:37
Dernière modification le : jeudi 9 février 2017 - 15:50:00
Document(s) archivé(s) le : lundi 7 juin 2010 - 23:28:25

Fichier

confCMLS2007.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot. Verification of biological models with Timed Hybrid Petri nets. Computational Models For Life Sciences (CMLS 2007), 2007, Australia. 952, pp.287--296, 2007, 〈10.1063/1.2816633〉. 〈hal-00342179〉

Partager

Métriques

Consultations de la notice

136

Téléchargements de fichiers

82