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



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


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

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

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

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