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

Текущее состояние системы определяет маркировка сети Петри, т.е. расположение меток в местах сети. Выполнение действия в системе, в сетях Петри определяется как срабатывание переходов. Срабатывание переходов порождает новую маркировку, т.е. порождает новое размещение меток в сети.
Такой вид примет сеть с предыдущего слайда при срабатывании переходов: