Michael Dahr Kurt Lautenbach Petri-Netz-Darstellung von Deduktiven Datenbanken. 16-22 1991 Grundlagen von Datenbanken db/conf/gvd/gvd91.html#DahrL91