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.
Back to the Petri Nets Bibliography