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