Ce point de l'étude a pour but de réaliser une étude pertinente de protocoles à réaliser, de façon à estimer, avant toute implémentation, les gains que l'on peut attendre. Un modèle permettant ce type d'étude a été proposé: les réseaux de Petri temporisés stochatiques. (RdPTS) Les systèmes informatiques distribués multimédias présentent une composante critique qui est le temps. Les techniques de description formelles de tels systèmes vont permettre la mise en oeuvre d'un cycle (Analyse, Corrections) sur des modèles. Ceux-ci doivent permettre d'exprimer les problèmes de parallélisme et de synchronisation, et conduisent à mener une analyse qualitative, mais également une analyse quantitative. Les modèles RdPTS associent des conditions logiques aux places, des évènements aux transitions. Un intervalle de temps, ainsi qu'une densité de probabilité peuvent être associés à chaque transition. Une fois le modèle construit pour un type de protocole donné, une analyse peut être menée. A partir des intervalles de temps fixés pour les transitions, et définissant donc l'intervalle pendant lequel cette transition est tirable, et à partir des densités de probabilité donnant la probabilité de tir d'une transition, on peut obtenir des graphes d'état probabilisés. Une analyse qualitative va permettre de montrer la logique des mécanismes modélisés, et une analyse quantitative va permettre de mesurer les performances du système modélisé en régime normal et dans des régimes d'exception. Ce modèle RdPTS a été utilisé en particulier pour effectuer une étude du protocole DQDB.