Analyse des propriétés temporelles des graphes d'événements valués continus

Analyse des propriétés temporelles des graphes d'événements valués continus

Les réseaux de Petri (RdP) sont un formalisme puissant de modélisation et d'évaluation des systèmes dynamiques complexes. Une classe particulière des RdP, que sont les graphes d'événements valués (GdEV) fortement connexes, permet plus particulièrement d'analyser les systèmes cycliques...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Mostefaoui Mustapha (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Autres auteurs : Alla Hassane Lotfi (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Analyse des propriétés temporelles des graphes d'événements valués continus / Mustapha Mostefaoui; sous la dir.de Alla Hassane
Publié : [S.L.] : [s.n.] , 2001
Description matérielle : 113 p.
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2001
Disponibilité : Publication autorisée par le jury
Sujets :
Petri, Réseaux de > Thèses et écrits académiques
Analyse temporelle > Thèses et écrits académiques
Systèmes dynamiques hybrides > Thèses et écrits académiques

BU Sciences

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

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Magasin 3 Th.2001 bis Empruntable Disponible
Magasin 3 Th.2001 Exclu du prêt Disponible