Modélisation algébrique du dîner des philosophes

Anne Dicky (1) , David Janin (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Dans cet article, nous présentons une étude expérimentale de modélisation de systèmes distribués à l'aide des outils de la théorie des monoïdes inversifs. Pour ce faire, nous nous plaçons dans les monoïdes (inversifs) des bi-arbres étiquetés. Ces monoïdes dérivent de la présentation des monoïdes inversifs libres de Scheiblich et Munn. Ils peuvent aussi être vus comme un cas particulier des monoïdes de tuilage de Kellendonk et Lawson. Ces outils sont alors mis en oeuvre pour modéliser le problème du dîner des philosophes de Dijkstra.

Mots clés: Méthodes formelles; semi-groupes inversifs; modélisation expérimentale; observations partielles; produits

Domaines: Informatique et langage [cs.CL]; Ingénierie assistée par ordinateur

Anne Dicky, David Janin. Modélisation algébrique du dîner des philosophes. Modélisation des systèmes réactifs, 2013, France. pp.29--43, ⟨10.3166/JESA.47⟩. ⟨hal-00856678⟩