Безопасная сеть Петри, алгоритмы анализа.

[zmb]

Есть сеть Петри в которой в любой позиции может быть не более одной метки.
Три вида позиций:
1. позиции без входа, из них выходят метки по одной за каждое возбуждение.
2. позиции с двумя входами - один вход соединён через переход (который я возбуждаю) с выходом позиции №1.
3. позиции с одним входом и одним выходом.
4. позиции без выхода - для анализа состояния.

Таким образом
Есть определённые переходы (с выхода позиций вида №1) которые я возбуждаю циклически по одному.
После возбуждения одного перехода сеть переходит в движение, тоесть метки перераспределяются по позициям.

Мне нужно знать взможно ли появление метки в безвыходовой позиции, при неизвесном количестве итераций возбуждения переходов. Или число итераций при котором появится метка в позиции. Так сказать достижима ли выходная позиция вида №4 для меток, если да то за сколько итераций.

Какие существуют алгоритмы анализа и где мне почитать о них ?