Я хочу спросить о petri net (PN) ограниченность. Когда у меня есть состояние s1 = (2 0 0), тогда я нахожу состояние s2 = (2 0 1), так как s1 < s2 могу объявить PN как НЕ ограниченный? Потому что когда у меня это PN: 
Petri net ограниченность
PN ограничен, но u может найти там (2 0 0) < (2 0 1). Так что мой вопрос. Я не прав насчет ограниченности сети Петри или что-то не так с ПТ на картинке?
Эта сеть ограничена. Вы можете проверить это, построив график достижимости.
Изначально только один переход t1 включен. Поэтому s1=(2 0 0) имеет только одно состояние-преемник s2 = (1 1 0). Вот полный граф достижимости
Кроме того, заметим, что не существует переход, который имеет больше исходящих дуг, чем входящих дуг, поэтому количество жетонов в сети не может быть увеличена. Это называется инвариантом. Из этого наблюдения вы можете получить, что состояние (2 0 1) никогда не может быть достигнуто с (2 0 0).