A High-Level Petri Net for a Subset of FGHC. - John Jeffrey; Tadao Murata (SEKE, 1990)

A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. - John Jeffrey; Jorge Lobo 001; Tadao Murata (IEEE Trans. Knowl. Data Eng., 1996)