Forschungsberichte Kernforschungs-Zentrum Karlsruhe No. 4636, 80 pp. pages, 1990. In German.
Abstract: Dieser Bericht gibt eine Einführung in die Theorie der Höheren Petri-Netze. Der Autor geht hierbei von einer Definition aus, die eine logische Sprache über einer Menge verschiedener Variablentypen interpretiert. Als Grundlage dafür werden die algebraischen Systeme eingeführt, die man als Formalisierung des Begriffs des abstrakten Datentyps ansehen kann. Höhere Petri-Netze werden dann über Signaturen solcher algebraischer Systeme auf rein syntaktischer Basis eingeführt und in einem zu der Signatur passenden algebraischen System bzgl. ihrer Semantik interpretiert. Die Theorie der Prozesse und die Erreichbarkeitstheorie lassen sich dann analog zum klassischen Fall entwickeln.
Keywords: high level net; abstract data type; signature (of) algebraic system.