Esempio codice condcount := condcount + 1;
if urgentcount > 0 then V(urgent) else V(mutex);
P(condsem);
condcount := condcount - 1; Manuel Nichele