Online monitoring of a distributed building automation system to verify large sequences of bus messages by causal Petri net models

Diekhake, Patrick; Schnieder, Eckehard

doi:10.1109/iecon.2013.6699716

Cited by 3 publications

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Die Datenerfassung als Grundfunktion des Monitorsystems basiert also auf dem Einlesen und Auswerten von Bustelegrammen. Diese Aufgabe kann durch direkt gekoppelte Petrinetzmodelle realisiert werden, die bereits in [17] am Beispiel einer Anbindung des Petrinetz-Werkzeuges -Tool an das Realsystem SmallCAN vorgestellt wurden. Für eine abschließende Laufzeitüberwachung eines spezifizierten Prozessablaufes sind dabei der Zeitpunkt des Einlesens sowie der Inhalt des Telegramms erforderlich.…”

Section: üBerwachung Im Betriebunclassified

Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme

Diekhake

Schnieder

2015

At - Automatisierungstechnik

Self Cite

View full text Add to dashboard Cite

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.Abstract: This paper is dedicated to the methodical analysis of distributed automation systems. A systemtheoretical representation by means of an attribute hierarchy is provided, which serves to further modeling by means of Petri nets. For runtime analysis, the basic models of the asynchronous cycle crossing and bus access are explained and simulation results are shown and validated. The simulation of a complete information process allows for the derivation of realistic statements on the tolerable limits that can be monitored during the real operation.

show abstract

Section: üBerwachung Im Betriebunclassified

Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme

Diekhake

Schnieder

2015

At - Automatisierungstechnik

Self Cite

View full text Add to dashboard Cite

show abstract

Petri Nets for Smart Grids: The Story So Far

Ge,

Rossi,

Chren

et al. 2024

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing

View full text Add to dashboard Cite

Overview and classification of approaches for the simulation of networked control systems

Sollfrank

Freymann

Vogel‐Heuser

2020

At - Automatisierungstechnik

View full text Add to dashboard Cite

Various methods, tools, and frameworks are used to model the network behavior of networked control systems (NCS). This paper gives an overview of the dimensions to be considered in the simulation of NCS with the help of an application example. With derived classification criteria, the state of the art is systematically evaluated, and a classification table is provided as a summary. Besides, widely used tools for network simulations are presented, which also serve as clustering categories for the overview.

show abstract

Online monitoring of a distributed building automation system to verify large sequences of bus messages by causal Petri net models

Cited by 3 publications

References 3 publications

Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme

Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme

Petri Nets for Smart Grids: The Story So Far

Overview and classification of approaches for the simulation of networked control systems

Contact Info

Product

Resources

About