1. Покажите, что

     (S,T,F)-сеть(T,S,F)-сеть(S,T,F-1)-сеть.

    Покажите, что если одна из этих сетей (строго) связна, то и остальные (строго) связны.

    Покажите, что (S,T,F) - связная сеть (S,T,FF-1) - сильно связная сеть.

  2. Докажите лемму 1.

  3. Является ли СП, показанная на рис. 1.10, безопасной? Какие переходы мертвы? Какие переходы могут сработать бесконечное число раз?