Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Une méthode a été proposée (Merlin et Bochmann, 1983) pour concevoir un sous-module M2 à adjoindre à un système à événements discrets (SED) M1, afin d'atteindre un comportement désiré M0. Pour cela, M2 interdit certaines séquences d'événements de M1 (contrôle) et ajoute des séquences d'événements à M1 (extension). Notons en passant, que M1 peut aussi bien être un programme qu'un système physique. Dans cette méthode, on a supposé que seulement M1 peut être interdit (commande bloquante) et seulement M1 est observable par M2. Dans une étude précédente, nous avons construit spécifié et synthétisé, en nous inspirant de la théorie des …
