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é