Mannheim: BI-Wissenschaftsverlag, 369 pp. pages, 1990. In German.
Abstract: Das Buch ist eine anwendungsorientierte Einführung in das Gebiet der Petri-Netze, enstanden aus einer Vorlesung an der Fachhochschule Darmstadt. Der Autor verwendet seit Jahren Petri-Netze als formales Beschreibungsmittel für Kommunikationsprotokolle, fehlertolerante Systeme und organisatorische Abläufe. Unter dem Eindruck der dabei gewonnenen Erfahrungen enstand dieses Buch, das Theorie und Praxis der Petri-Netze gleichermaÑen umfaÑt. Es stellt ausgehend von anschaulichen Modellen alltäglicher Systeme die formalen Grundlagen der Petri-Netze bereit; mit der Logik und den Kommunikationsprotokollen werden zwei unterschiedliche Beispiele aus dem breiten Anwendungsspektrum behandelt.
Keywords: book (about nets); introduction (into net theory); application (of net theory); communication protocol; fault tolerance; logic.