W pliku printer jest opisany system składający się z jednej drukaki i
dwóch użytkowników. Sprawdź, czy posiada on następujące własności: 

1. Jeżeli któryś z użytkowników poprosi o dostęp do drukarki to
kiedyś wydrukuje.  
2. Jeżeli użytkownik A drukuje to przedtem zgłosił takie
zapotrzebowanie.  
3. Użytkownicy A i B drukują na zmianę.
4. Po każdym drukowaniu użytkownika A kiedyś będzie drukować
uĹźytkownik B.
5. MoĹźliwy jest przebieg systemu, w ktĂłrym drukuje tylko A.


Zmień system na jeden z poniżej opisanych sposobów:

A. Użytkownicy mogą drukować tylko na zmianę: 
  a) Sprawdź, że wtedy własność 3 zachodzi.
  b) Czy własność 4 zachodzi ?
  c) Czy możliwe są przebiegi systemu, w których jest tylko skończenie
  wiele drukowań ?

B. UĹźytkownik A jest uprzywilejowany:
  a) SprawdĹş, Ĺźe moĹźliwe jest niedopuszczenie uĹźytkownika B do
  drukowania.
  b) Sprawdź, że A zawsze wydrukuje jeśli zechce.
  c) SprawdĹş, czy  moĹźliwy jest przebieg systemu, w ktĂłrym drukuje
  tylko B.