Quel(s) outil(s) pour la modélisation d'un système multithreads ? L'objectif est de mettre en évidence les aspects de synchronisation des threads.
