Serghei Verlan (LACL, Créteil)

La réécriture des multiensembles est un modèle de calcul générique manipulant des vecteurs de nombres. Elle est utilisée (directement ou indirectement) dans beaucoup de domaines allant de la biologie à l’algorithmique distribuée. Plusieurs modèles connus comme les réseaux de Petri, les systèmes à membranes ou les machines à registre sont des instances particulières de ce modèle.

Nous présenterons une introduction générale du modèle et nous nous concentrons ensuite sur sa version distribuée (qui permet de représenter facilement des concepts de l’algorithmique distribuée) et dynamique (permettant de représenter des calculs dans un espace topologique non-homogène qui peut évoluer). Notre approche consiste dans l’analyse des différents modèles existants dans le but de faire émerger des concepts universels qui sont étudiés d’un point de vue abstrait par la suite.