В. Н. Захаров ,   В. Н. Вагин ,   Л. Я. Розенблюм Известия АН СССР. Техническая кибернетика , 5 , 01.1987 , язык: русский  Аннотация Целью данной статьи является попытка применения аппарата теории сетей Петри к проблеме распараллеливания процедур дедуктивного вывода. Приведены описания основных механизмов вывода.  Ключевые слова Логический вывод, Сети Петри, Логика предикатов