Thesis (Inform.), Univ. Clermont-Ferrand 2. CNRS-T Bordereau, 1989.
Abstract: Une approche de conception est construite a partir d'une classification fonctionnelle des informations manipulees. Un support graphique permet de decrire la communication a realiser. La technique de description proposee est ensuite verifiee au moyen d'un logiciel de verification de systemes decrits sous forme de reseaux de Petri de type predicats-transitions.
Keywords: predicate/transition net; transfer protocol.