La modélisation des systèmes informatiques et de télécommunication donne actuellement naissance à une nouvelle théorie des systèmes à événements discrets. Divers formalismes concurrents sont utilisables dans le cadre de cette théorie. Les travaux du projet se concentrent sur deux d'entre eux : les réseaux de files d'attente et les réseaux de Petri. Dans le premier formalisme, on décrit le système comme un ensemble de stations de service où les serveurs représentent les ressources logiques ou physiques du système considéré, et où les entités circulant entre les stations représentent les requêtes, messages, programmes partageant ces ressources. Le formalisme des réseaux de Petri permet de représenter de manière fine les phénomènes de synchronisation et de concurrence propres à l'informatique répartie ou aux protocoles de communication. Les actions de recherche de 1995 ont porté sur