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



Выдержка из книги Питерсон Д.N. Теория сетей петри и моделирование систем


Эта сеть может быть выполнена последовательными запусками переходов. Если же получена маркировка, в которой ни один переход не разрешен, то никакой переход не может быть запущен, функция следующего состояния не определена для всех переходов, и выполнение сети должно быть закончено.

(cкачать страницу)

Смотреть книгу на libgen

Эта сеть может быть выполнена последовательными запусками переходов.  Если же получена маркировка,  в которой ни один переход не разрешен,  то никакой переход не может быть запущен,  функция следующего состояния не определена для всех переходов,  и выполнение сети должно быть закончено.