Эта сеть может быть выполнена последовательными запусками переходов. Если же получена маркировка, в которой ни ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Питерсон Д.N.
Теория сетей петри и моделирование систем
Эта сеть может быть выполнена последовательными запусками переходов. Если же получена маркировка, в которой ни один переход не разрешен, то никакой переход не может быть запущен, функция следующего состояния не определена для всех переходов, и выполнение сети должно быть закончено.