Mémoires de Fin d’Etudes
Etablissement
Université de Tizi Ouzou - Mouloud Mammeri
Affiliation
Département d’Automatique
Auteur
HARROUCHE, Hayet
Directeur de thèse
DJENNOUNE Said (Professeur)
Filière
Automatique
Diplôme
Magister
Titre
Synthèse de superviseur basée sur les réseaux de Petri.
Mots clés
Système à événements discrets, Synthèse d’un superviseur, Réseaux de Petri, Invariance positive.
Résumé
La théorie de la supervision du système à évènement discret (SED) a été initiée par les travaux de ramadge et Wonham, qui sont basés sur le modèlesautomates à états finis et les langages formels.
Statut
Vérifié
Tags & Categories
département
etablissement
université
affiliation
auteur
ouzou
mouloud
mammeri
automatique
universitÉ
harrouche
Établissement
univérsité
memoires
departement
établissement
établissement
universite
établissement
affiliation
d’automatique
département
directeur
etablissement
harrouche
mémoires
université