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
Table des matières indisponible