Petrinetzmodell für die Formalisierung von GRAFCET-Spezifikationen
-
Frank Schumacher
Frank Schumacher war wissenschaftlicher Mitarbeiter am Institut für Automatisierungstechnik der Helmut-Schmidt-Universität/Hamburg. Sein Hauptinteresse gilt grafischen Beschreibungsmitteln und der Anwendung formaler Methoden für einen effizienten Entwurf von Steuerungsprogrammen.
Helmut-Schmidt-Universität/Universität der Bundeswehr Hamburg, Institut für Automatisierungstechnik, Holstenhofweg 85, 22043 Hamburg, Tel.: +49 (040) 6541-2254, Fax: +49 (040) 6541-2004
Alexander Fay ist Professor für Automatisierungstechnik und Leiter des Instituts für Automatisierungstechnik in der Fakultät für Maschinenbau der Helmut-Schmidt-Universität/Hamburg. Sein Hauptinteresse gilt Beschreibungsmitteln, Methoden und Werkzeugen für ein effizientes Engineering komplexer Automatisierungssysteme.
Helmut-Schmidt-Universität/Universität der Bundeswehr Hamburg, Institut für Automatisierungstechnik, Holstenhofweg 85, 22043 Hamburg, Tel.: +49 (040) 6541-2719, Fax: +49 (040) 6541-2004
Zusammenfassung
GRAFCET ist ein ausdrucksstarkes grafisches Beschreibungsmittel zur Spezifikation von Steuerungsabläufen. Eine implementierungsunabhängige rechnergestützte Handhabung ist bisher allerdings nicht möglich. Der nachfolgende Beitrag stellt einen Ansatz vor, wie GRAFCET-Spezifikationen systematisch formalisiert werden können. Somit wird eine automatische Generierung von SPS-Code aus GRAFCET möglich.
Abstract
GRAFCET is a powerful graphical means for the specification of a controller's logic behavior. But the computer-based treatment of GRAFCET is today tool dependent. This paper introduces a systematic approach for the formalization of GRAFCET specifications as a pre-condition for an automatic generation of PLC code.
Über die Autoren
Frank Schumacher war wissenschaftlicher Mitarbeiter am Institut für Automatisierungstechnik der Helmut-Schmidt-Universität/Hamburg. Sein Hauptinteresse gilt grafischen Beschreibungsmitteln und der Anwendung formaler Methoden für einen effizienten Entwurf von Steuerungsprogrammen.
Helmut-Schmidt-Universität/Universität der Bundeswehr Hamburg, Institut für Automatisierungstechnik, Holstenhofweg 85, 22043 Hamburg, Tel.: +49 (040) 6541-2254, Fax: +49 (040) 6541-2004
Alexander Fay ist Professor für Automatisierungstechnik und Leiter des Instituts für Automatisierungstechnik in der Fakultät für Maschinenbau der Helmut-Schmidt-Universität/Hamburg. Sein Hauptinteresse gilt Beschreibungsmitteln, Methoden und Werkzeugen für ein effizientes Engineering komplexer Automatisierungssysteme.
Helmut-Schmidt-Universität/Universität der Bundeswehr Hamburg, Institut für Automatisierungstechnik, Holstenhofweg 85, 22043 Hamburg, Tel.: +49 (040) 6541-2719, Fax: +49 (040) 6541-2004
©2014 Walter de Gruyter Berlin/Boston
Articles in the same Issue
- Frontmatter
- Methoden
- Petrinetzmodell für die Formalisierung von GRAFCET-Spezifikationen
- Identifikation mit achsenschrägen, lokal polynomialen Modellnetzen
- Anwendungen
- Cascaded energy based trajectory tracking control of a quadrotor
- Modelica-Bibliothek für diffraktive Optik zur Modellierung von optomechatronischen Systemen
- Das Petrinetz Modellierungs- und -analysetool Π-Tool
- Persönliches
- Würdigung Helge-Björn Kuntze
- Rezension
- Andreas Kroll: Computational Intelligence: Eine Einführung in Probleme, Methoden und technische Anwendungen
Articles in the same Issue
- Frontmatter
- Methoden
- Petrinetzmodell für die Formalisierung von GRAFCET-Spezifikationen
- Identifikation mit achsenschrägen, lokal polynomialen Modellnetzen
- Anwendungen
- Cascaded energy based trajectory tracking control of a quadrotor
- Modelica-Bibliothek für diffraktive Optik zur Modellierung von optomechatronischen Systemen
- Das Petrinetz Modellierungs- und -analysetool Π-Tool
- Persönliches
- Würdigung Helge-Björn Kuntze
- Rezension
- Andreas Kroll: Computational Intelligence: Eine Einführung in Probleme, Methoden und technische Anwendungen
