DSpace UMMTO : Browsing by Author "Harrouche, Hayet"

Now showing 1 - 1 of 1

Synthèse de superviseur basée sur les réseaux de Petri.
(Université Mouloud Mammeri, 2012) Harrouche, Hayet
La théorie de la supervision des systèmes à événements discrets (SED) a été initiée par les travaux de Ramadge et Wonham, qui sont basés sur les modèles automates à états finis et les langages formels. Dans ce travail nous nous intéressons à la synthèse de contrôleur pour les systèmes à événements discrets modélisés par les réseaux de Petri. La notion de commande par réseaux de Petri a été introduite par Krogh et Moalla dans l’objectif d’imposer au système des séquences d’événements désirées pour éviter des situations indésirables telles que les blocages. Une approche structurelle, basée sur les invariants de marquage dans un réseau de Petri a été introduite par Holloway et Krogh afin de garantir le respect des spécifications imposées. Il en résulte de cette approche des conditions d’autorisation de franchissement des transitions qui sont juste suffisantes. Dans le cas ou toutes les transitions sont commandables, nous proposons une condition nécessaire et suffisante pour que le polyèdre des contraintes soit positivement invariant par rapport à l’évolution du marquage d’un réseau de Petri donné.