In: Automatisierungstechnik - at, Vol. 40, No. 1, pages 21-30. 1992. In German.
Abstract: Dieser Aufsatz beschreibt Konzepte zur Einbeziehung von Ausnahmebehandlungen beim Requirements Engineering für Automatisierungssysteme. Als Spezifikationssprache werden höhere Petri-Netze verwendet. Die vorgestellten Konzepte wurden in einem bestehenden Petri-Netz-Simulator integiert.