Сети Петри, разрешён ли такой переход?

Question

[FreddieNeptun]

Приветствую всех! На скриншоте привёл пример сети Петри, когда на первой позиции две фишки. Верно ли я понимаю, что переход t3 разрешён, и через два перехода мы из 2 получим 0? Вопрос глуповат скорее всего, но вечером решил перестраховаться с вопросом исчезновения фишек)

Answer 1

[Mercury13]

Переходы t₁ и t₂ создают в позиции по одной фишке. Переход t₃ просто убирает одну фишку. Возможен. И после двух исполнений перехода t₃ ни одной фишки не останется.

Comments

[FreddieNeptun]

Благодарю за ответ)