Projet académique visant à implémenter et analyser des solutions de synchronisation pour des problèmes de lecture-écriture concurrentes. Le travail porte sur l'utilisation de sémaphores et de moniteurs pour résoudre des conflits d'accès à des ressources partagées, avec une validation par modélisation en réseaux de Pétri.