In: Jähnichen, S.; et al.: GMD-Studien Nr. 176; Seminar Spezifikationstechniken, Sommersemester 1989, pages 23-38. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH, February 1990.
Abstract: Die Arbeit gibt einen kurzen Überblick über die Theorie der Petrinetze.
Keywords: net theory, introduction (and) overview.