4.3.  Замечания к литературе

В публикациях Хольта и др. [128] и Хольта и Коммонера [127] определены некоторые из первых задач анализа сетей Петри — активность и безопасность, которые продолжают считаться основными задачами анализа. Активность изучалась Коммонером [53], Лаутенбахом [167] и Льеном [173]. Келлер [150] вместе с другими задачами рассматривал также и активность. Льен [173] определил задачу сохранения.

Карп и Миллер [128] впервые описали построение дерева достижимости и доказали его конечность. Задачи покрываемое™ и достижимости были определены ими как если бы это были задачи эквивалентности и включения. Последние задачи явились предметом изучения в [26]. В [213] дана краткая формулировка задачи достижимости. Хэк [111] рассмотрел большинство этих задач вместе и показал, как дерево достижимости можно использовать для решения некоторых из них.

Матричный подход рассматривался Питерсоном [236], но, как оказалось, возможности его ограничены. Мурата, имеющий большую квалификацию в линейной алгебре, достиг чуть большего в этом подходе в [210, 206, 212, 208, 209].