Validation of biological models with Temporal logic and Timed Hybrid Petri nets

Abstract : The Hybrid Functional Petri Nets (HFPN) formalism has shown its convenience for modelling biological systems. This class of models has been fruitfully applied in biology but the remarkable expressiveness of HFPN often leads to incomplete validations. In this paper, we propose a logical framework for Timed Hybrid Petri Nets (THPN), a sub-class of HFPN. We propose an extension of Event Clock Logic dedicated to THPN and a procedure to convert a THPN into a real-time automaton. A small biological model shows that our framework allows us to formally prove properties by a well suited model-checking procedure.
Type de document :
Communication dans un congrès
Conference of the IEEE Engineering in Medicine and Biology Society (EMBC07)., 2007, Lyon, France. pp.4603--4608, 2007
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00342180
Contributeur : Frédéric Davesne <>
Soumis le : samedi 18 juillet 2009 - 18:22:32
Dernière modification le : jeudi 9 février 2017 - 15:49:16
Document(s) archivé(s) le : lundi 7 juin 2010 - 23:28:29

Fichier

confEMBC07-Sylvie.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00342180, version 1

Collections

Citation

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot. Validation of biological models with Temporal logic and Timed Hybrid Petri nets. Conference of the IEEE Engineering in Medicine and Biology Society (EMBC07)., 2007, Lyon, France. pp.4603--4608, 2007. 〈hal-00342180〉

Partager

Métriques

Consultations de la notice

158

Téléchargements de fichiers

59