Contributions à l'analyse ordre partiel quantitative et à l'abstraction modulaire des réseaux de Petri temporels

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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Sogbohossou Médésu (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Organisme de soutenance)
Autres auteurs : Roux Olivier Henri (Directeur de thèse), Vianou Antoine (Directeur de thèse)
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 :
Temps réel (informatique) > Thèses et écrits académiques
Petri, Réseaux de > Thèses et écrits académiques
Contraintes (intelligence artificielle) > Thèses et écrits académiques
Graphes orientés > Thèses et écrits académiques
Analyse temporelle > Modélisation formelle > Dépliage > Abstraction modulaire > Logique linéaire

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 2009 NANT 2124 Empruntable Disponible
Magasin aérotherme 2009 NANT 2124 Exclu du prêt Disponible