Pytania:

1. Jak są "ustawione" procesy main, e1, ..., e5 ?
2. Jak przemieszcza się token ?
3. Kiedy element ogłasza ack_out ? Po co jest override-out ?
4. Dlaczego w formule 

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


jest 0..9 ?