Now showing items 1-1 of 1

    • Synthèse de superviseur basée sur les réseaux de Petri. 

      Harrouche, Hayet (Université Mouloud Mammeri, 2012)
      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 ...