В. Н. Захаров , В. Н. Вагин Пролог-машины и спецпроцессоры. Справочник "Искусственный интеллект". Книга 3: "Программные и аппаратные средства". Москва: "Радио и связь" , с. 312-321 , 01.1990 V. N. Zakharov , L. Ya. Rozenblyum , V. N. Vagin Petri Net Inference for data processing. In book: "Artificial Intelligence and Inforation- Control Systems of Robots-87". I. Plander (Ed.). Elsevier Science Publishers. Amsterdam. North-Holland. , 01.1987 В. Н. Захаров , В. Н. Вагин , Л. Я. Розенблюм Логический вывод на интерпретированных сетях Петри. Известия АН СССР. Техническая кибернетика , 5 , 01.1987