Twee onafhankelijke werknemers controleren gelijktijdig dat er meer dan drie dienstdoende artsen zijn, en nemen elk verlof, wat de invariant schendt. Wat is dit probleem en hoe los je het op?