Abstract FR:

Discussion sur les différentes techniques et concepts de détection et de traitement d'erreurs, sur la conception et la mise en oeuvre de la commande d'ateliers flexibles. Spécification formelle, par réseau de pétri notamment. Approche de spécification et de conception de la surveillance