In: SIGMOD Rec. (USA), Vol. 16, No. 3, pages 60-72. December 1987.
Abstract: The authors propose a technique based on Petri nets formalism to model logic queries in deductive databases. The model has a simple formal description and a graphical representation. It explicitly represents the relationships between rules and predicates. It is general and flexible enough to demonstrate the flow of control in different algorithms.