• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Ein Verifikationssystem für Ablaufsteuerungen diskreter Prozesse
 
  • Details
  • Full
Options
1992
Conference Paper
Title

Ein Verifikationssystem für Ablaufsteuerungen diskreter Prozesse

Abstract
Mit der ständig wachsenden Komplexität und Funktionalität von Steuerungen diskreter Prozesse verstärkt sich auch die Forderung, die in SPS implementierten Steueralgorithmen vor der Inbetriebnahme zu überprüfen. Die Theorie der Petri-Netze bietet in diesem Zusammenhang eine Grundlage, das Verhalten von Ablaufsteuerungen systematisch zu modellieren und zu analysieren. Bei der Überprüfung der Steueralgorithmen sollen in Analogie zur Regelungstechnik explizit Steuerstreckenmodelle einbezogen werden. Zur Beherrschung der Komplexität wird die Steuerstrecke in sogenannte Elementarsteuerstrecken dekomponiert, deren Verhalten auf der Grundlage von Petri-Netzen als ereignisdiskrete Systeme modelliert wird. Unter Einbeziehung der damit vorliegenden Informationen über das Steuerungssystem kann der Steueralgorithmus bezüglich Korrektheit, dynamischer Eigenschaften sowie Vollständigkeit überprüft werden.
Author(s)
Winkler, J.
Zander, H.J.
Mainwork
Fachtagung Automatisierung 1992  
Conference
Fachtagung Automatisierung 1992  
Language
German
Fraunhofer-Institut für Mikroelektronische Schaltungen und Systeme IMS  
Keyword(s)
  • Modelluntersuchung

  • Netzstruktur

  • Petrinetz

  • speicherprogrammierte Steuerung

  • Steuerungssystem

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024