travail commun avec C. Jard.
Résumé. On s'intéresse aux types de contexte suivants: . modèles d'exécution temporisés pour les programmes synchrones, . "message sequence charts" (MSC), . RdP saufs temporisés, qui ont tous en commun de permettre de manipuler des exécutions synchrones ou asynchrones, distribuées ou non, de programmes, sur la bse du concept d'ordre partiel. Je montrerai que les automates MaxPlus constituent un cadre naturel de modélisation, mais que les questions que l'on a envie de se poser demandent une forme différente, plus symétrique, de ce modèle. Ceci est fourni par l'extension à ce cadre des dioïdes MaxMin de séries formelles introduits par Cohen et Quadrat en relation avec les graphes d'événements. Je pourrai ainsi répondre à quelques questions non standard bien que naturelles pour nos applications, et j'indiquerai quelques perspectives.