(Université Mouloud Mammeri, 2012) Abderrahmani Naima; Kara Redouane
Ce mémoire a été fait dans le but de trouver un moyen pour commander un système à événements discrets à contraintes temporelles. Pour cela nous avons d’abord opté pour une modélisation par les réseaux de Petri p- temporel. Ces derniers seront par la suite modélisés par un système linéaire implicite, ce qui nous permet d’étudier la poursuite de la trajectoire et la vérification des entrées. Cette étude a été faite à l’aide des programmes matlab. A vrai dire cette méthode nous a permis d y revenir à l’étude des systèmes continus.