Modélisation et vérification des réseaux de Petri hybrides temporisés : application à la métamorphose amphibienne

par Sylvie Troncale

Thèse de doctorat en Bioinformatique

Sous la direction de Gilles Bernot et de Jean-Paul Comet.

Le jury était composé de Bruno Bost, Nicolas Pollet, Philippe Tracqui.

Les rapporteurs étaient Alexander Bockmayr, François Fages.


  • Résumé

    Le formalisme des réseaux de Petri hybrides fonctionnels, notés HFPN pour Hybrid Functional Petri Nets en anglais, a démontré sa capacité à simuler les systèmes biologiques. L’inconvénient d’un formalisme aussi expressif est la difficulté d’exécuter des vérifications de propriétés dynamiques. Dans cette thèse, nous proposons une procédure de model-checking pour les réseaux de Petri hybrides temporisés, notés THPN pour Timed Hybrid Petri Nets en anglais, une sous-classe des HFPN. Cette procédure est basée sur la traduction du modèle THPN et de la propriété étudiée en automates temps-réel. Ceci est alors appliqué pour modéliser les régulations responsables de la métamorphose amphibienne.

  • Titre traduit

    Modeling and verification of timed hybrid Petri nets : application to amphibian metamorphosis


  • 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 thesis, 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 regulations responsible for amphibian metamorphosis.


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Autre version

Cette thèse a donné lieu à une publication en 2008 par Evry-Val d'Essonne à S. l.

Modélisation et vérification des réseaux de Petri hybrides temporisés : application à la métamorphose amphibienne


Consulter en bibliothèque

Cette thèse a donné lieu à une publication en 2008 par Evry-Val d'Essonne à S. l.

Informations

  • Sous le titre : Modélisation et vérification des réseaux de Petri hybrides temporisés : application à la métamorphose amphibienne
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse ?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.