Contributions à l'analyse ordre partiel quantitative et à l'abstraction modulaire des réseaux de Petri temporels
Les réseaux temporels, une extension temporisée du formalisme des réseaux de Petri, constituent le modèle de concurrence utilisé ici pour vérifier formellement les propriétés sur les comportements et les contraintes temporelles quantitatives des systèmes temps réel. Une vérification basée sur le cal...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres auteurs : | , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Contributions à l'analyse ordre partiel quantitative et à l'abstraction modulaire des réseaux de Petri temporels / Médésu Sogbohossou; sous la direction de David Delfieu ; directeurs de thèse Olivier H. Roux, Antoine Vianou |
Publié : |
[S.l.] :
[s.n.]
, 2009 |
Description matérielle : | 1 vol. (121 p) |
Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2009 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
Table des matières indisponible