In: Soviet Journal of Computer and Systems Sciences, Vol. 26, No. 3, pages 98-105. 1988.
Also in: (Source:) Izv. Akad. Nauk SSSR, Tekh. Kibern., No. 5, pages 187-195. 1987.
Abstract: The necessity of developing methods of parallel deduction is emphasized. The possibility of applying the methodology of Petri nets to the problem of deparallelization of logical (deductive) inference procedures is illustrated. Examples of the representation of deductive inference procedures in first-order logic by interpreted Petri nets are presented.