In: Automatisierungstechnik (at), Vol. 37, No. 6, pages 234-241. 1989. In German.
Abstract: (Continued from No. 5, pp. 173--181) Petri nets help to establish system requirements, to specify system models, and to define them more and more concretely. The theory of Petri nets permits in addition the static and dynamic testing of system models even before implementation. In the near future the automatic transformation of nets into programs and circuits is to be expected as the end of the product development.