1. Докажите теоремы 14-16.
    • Покажите, что пересечение двух стабильных множеств маркировок является стабильным.
    • Покажите, что множество живых (ограниченных) маркировок сети стабильно.
    • Покажите, что множество неживых маркировок сети не обязательно стабильно.
  2. Постройте тупики и ловушки базовой сети ОСП, показанной на рис. 2.32. Каждый ли тупик сети содержит изначально маркированную ловушку?
  3. Справедливы ли следующие утверждения?
    • Если каждый тупик сети N содержит маркированную ловушку при некоторой M0, то ОСП (N,M0) жива.
    • Если ОСП (N,M0) жива, то каждый тупик сети N содержит изначально маркированную ловушку.
  4. Сформулируйте структурную характеризацию свойства ограниченности ОСП, базовые сети которых удовлетворяют свойству, что |s|1 и |s|1 для каждого места s сети.
  5. Сформулируйте структурную характеризацию множества достижимых маркировок ОСП, базовые сети которых удовлетворяют свойству, что |s|1 и |s|1 для каждого места s сети.
  6. Сформулируйте структурную характеризацию свойства ограниченности T-СП, которые не обязательно живы.
  7. Покажите, что теорема Коммонера влечет справедливость теоремы 19 для S-СП и теоремы 22 для T-СП.