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

Détails bibliographiques
Auteurs principaux : Mostefaoui Mustapha (Auteur), Alla Hassane Lotfi (Directeur de thèse)
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)
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.
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2001
Sujets :
Petri, Réseaux de
Analyse temporelle
Systèmes dynamiques hybrides
Thèses et écrits académiques
Documents associés : Reproduit comme: Analyse des propriétés temporelles des graphes d'événements valués continus
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Communication impossible 01 NANT 2100 Empruntable Disponible
Communication impossible 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