Правила срабатывания переходов

Правила срабатывания переходов (рис. 5.12) конкретизируют следующим образом:

переход срабатывает, если для каждой из его входных позиций выполняется условие N_i ³ К_i, где N_i – число маркеров в i-й входной позиции, К_i – число дуг, идущих от i-йпозиции к переходу; при срабатывании перехода число маркеров в i-й входной позиции уменьшается на К_i, а в j-й выходной позиции увеличивается на М_j, где М_j – число дуг, связывающих переход с j-й позицией.

Рис. 5.13. Фрагмент сети Петри перед срабатыванием перехода

На рис. 5.13 показан пример распределения маркеров по позициям перед срабатыванием, эту маркировку записывают в виде (2, 2, 3, 1).

После срабатывания перехода (рис. 5.14) маркировка становится иной:

(1, 0, 1, 4).

Рис. 5.14. Фрагмент сети Петри после срабатывания перехода