In: Handbuch der modernen Datenverarbeitung (HMD), Band 23, Heft 130, pages 3-17. Wiesbaden, 1986. In German.
Abstract: Es ist wichtig, daÑ man im informellen Bereich der textlichen Spezifikation versucht, ein formales Gerüst zur Unterstützung bereitzustellen. Die von Petri entwickelte Netztheorie ist für diesen Zweck besonders ausgezeichnet. Die Systementwicklung sollte sowohl mit Hilfe struktureller Methoden (Datenstrukturen und auf ihr arbeitende Operationen) wie auch von dynamischen Methoden (Netzanalyse und Simulation) durchgeführt werden.