Modélisation et vérification des réseaux de Petri hybrides temporisés : application à la métamorphose amphibienne
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 c...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2008EVRY0013/document |