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