Vers une approche générique de modélisation et vérification formelles de partage de ressources et de gestion de conflits dans les systèmes à événement discrets.