Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme

Zusammenfassung Dieser Beitrag widmet 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.