For the most recent entries see the Petri Nets Newsletter.

High-Level-Netze.

Hummert, U.

TU Berlin, Fachbereich Informatik, Inst. f. Software und Theoretische Informatik, Bericht Nr. 87--10, 1987. In German.

Abstract: Es werden High-Level-Netze als zweisortige Algebren eingeführt, und es wird eine kurze Zusammenfassung über Invarianten gegeben. SchlieÑlich wird gezeigt, wie man mit Hilfe eines Netzschemas High-Level-Netze beschreiben kann, und es wird die Semantik eines sochen Schemas als Funktor von der Kategorie der Algebren in die Kategorie der High-Level-Netze definiert.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography