Section critique: exemple
Ressource critique:
la place de parking (la variable place)
.
Deux processus en exclusion mutuelle sur la place:
Les deux véhicules A et B.
La section critique:
if (place= =libre) ... place=libre.
suivant
plan