V. N. Zakharov , V. N. Vagin , Y. L. Rozenblyum Logical Inference on Interpreted Petri Nets. Soviet Journal of Computer and Systems Sciences , vol.26 №3 , 01.1988