2022-03-022022-03-021991https://publica.fraunhofer.de/handle/publica/127936Effizientes Engineering komplexer Automatisierungssysteme. Methoden, Anwendungen und Tools auf der Basis von Petrinetzen