Pytania:

1. Jak są "ustawione" moduły main, e1, ..., e5 ?
2. Jak przemieszcza się token ?
3. Kiedy element ogłasza ack_out ? Po co jest override-out ?
4. Sprawdź że dla każdego modułu typu arbiter-elementnie nie jest
możliwe, żeby przez cały czas było zgłaszane Request ale nigdy nie
było prawdziwe ack_out.   
5. Dlaczego w formule 

SPEC
  AG (e5.Request -> ABF 0..9 (!e5.Request | e5.ack-out))


jest 0..9 ? 

6. Sprawdź, że zawsze w sytuacji gdy Request jest zgłaszany tylko
przez moduł e5 to moduł ten ma natychmiast przydzilone ack_out 

7. Co jeśli w pytaniu powyżej zamienimy e5 na e2 ?