Modelisation algebrique du diner des philosophes

摘要

Dans cet article, nous presentons une etude experimentale de modelisation de systemes distribues a l'aide des outils de la theorie des monoides invcrsifs. Pour ce faire, nous nous placons dans les monoides (inversifs) des bi-arbres etiquetes. Ces monoides derivent de la presentation des monoides inversifs libres de Scheiblich et Munn. Ils peuvent aussi etre vus comme un cas particulier des monoides de tuilage de Kellendonk et Lawson. Ces outils sont alors mis en oeuvre pour modeliser le probleme du diner des philosophes de Dijkstra.