La spécification de protocoles d'interaction par réseaux de Petri

Christophe Sibertin-Blanc, Janette Cardoso, Chihab Hanachi. La spécification de protocoles d'interaction par réseaux de Petri. In Amal El Fallah-Seghrouchni, Laurent Magnin, editors, Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01 - neuvième journées francophones d'Intelligence Artificielle et systèmes multi-agents, Montréal, Québec, Canada, November 12-14, 2001. pages 121-133, Hermès Lavoisier Editions, 2001.

Abstract

Abstract is missing.