V. N. Zakharov ,   V. N. Vagin ,   Y. L. Rozenblyum Soviet Journal of Computer and Systems Sciences , vol.26 №3 , 01.1988 , language: английский  Аннотация The questions about Logical Inference on Interpreted Petri Nets are discussed.  Ключевые слова Logical Inference, Interpreted Petri Nets, Predicate Logic