Systementwurf mit Netzen [Petrinetze, statische Komponenten, dynamisches Verhalten, Stellen, Transitionen, Marken, Verfeinern und Einbetten, informale und formale Spezifikationen, Netze als Entwurfsmethode] - Reisig, Wolfgang 1950- (Springer, 1985)