Diekhake, P.; Schnieder, E.:
Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme.
at - Automatisierungstechnik. 63(2), S. 129-142, Februar 2015.
Dieser Beitragwidmet sich der methodischen Analyse verteilter Automatisierungssysteme. Dafür wird eine systemtheoretische Darstellung über die Attributhierarchie bereitgestellt, die der weiteren Modellierung mittels Petrinetzen dient. Zur Zeitverhaltensanalyse werden die grundlegenden Modelle der asynchronen Zyklusübergänge und des Buszugriffs erläutert sowie Simulationsergebnisse vorgestellt und validiert. Aus der Simulation eines vollständigen Informationsprozesses lassen sich realitätsnahe Aussagen zu tolerierbaren Grenzwerten ableiten, die im operativen Betrieb überwacht werden.