Rapport CNET Lannion A., 1986.
Abstract: Apres étude du protocole de transfert d'information, on évalue l'utilité et l'efficacité de la procédure de synchronisation qui lui est associée. La validation des réseaux de Petri modélisant le protocole repose sur deux types de méthodes: les méthodes classiques de construction et d'analyse du graphe des marquages (implementé dans l'outil OGIVE/D); la comparaison directe du protocole et du service souhaité par fusion des transitions correspondantes des 2 modèles.