Résumé : Les protocoles d'interaction jouent un rôle essentiel pour la coordination et la coo- pération des agents d'un Système Multi-Agent ; la spécification, validation et mise en oeuvre de façon sûre et efficace de ces protocoles est donc un enjeu important de l'approche Mufti- Agent. Dans cet article, nous proposons une méthode basée sur les réseaux de Petri pour la spécification formelle des protocoles d'interaction elle convient notamment pour les proto- coles qui, étant concurrents et ouverts, nécessitent de recourir à un formalisme ayant un large pouvoir d'expression. Après une présentation des possibilités de validation offertes par cette forme de spécification, on montre qu'elle ouvre la voie à une architecture des Système Alulti- Agent qui présente de nombreux avantages.