Jean Mairesse, CNRS, Universit\'e Paris 7, LIAFA
Mono\"\i des de pi\`eces : \'evaluation de performance et ordonnancement
On introduit un mod\`ele g\'en\'eralisant la repr\'esentation des mono\"\i des de trace \`a l'aide de tas de pi\`eces (Viennot 86). Intuitivement, il s'agit d'empiler (\`a la ``Tetris'') des pi\`eces de formes polyominales. Ce mod\`ele permet d'\'etudier le comportement des r\'eseaux de Petri 1-born\'es temporis\'es. La hauteur d'un tas de pi\`eces est reconnue par un automate \`a multiplicit\'es dans le semi-anneau (max,+). En utilisant cette repr\'esentation comme point de d\'epart, on propose divers r\'esultats d'\'evaluation de performance~: comportements asymptotiques en moyenne, dans le pire et dans le meilleur des cas, ordonnancements optimaux.