Dieses Werk richtet sich in erster Linie an Lehrkräfte und Studierende der Elektronik an Hochschulen, insbesondere an Studierende im zweiten Jahr des Masterstudiengangs "Automatisierung und Systeme". Das vorliegende Dokument enthält eine Beschreibung der Spezifikationen für logische Automatisierungssysteme mittels GRAFCET. Nach einer Beschreibung des automatisierten Systems werden die verschiedenen Elemente des operativen Teils (Aktoren, Voraktoren, Sensoren), des Steuerungsteils (verdrahtete Logik, programmierte Logik, speicherprogrammierbare Steuerungen) und des Überwachungsteils (Programmierdialog, Auswertung und Überwachung) detailliert behandelt. Anschließend werden die Modellierung und die Implementierung mittels GRAFCET anhand von Beispielen aus den Lastenheften industrieller Produktionssysteme zur Veranschaulichung behandelt. Dies ist ein erster Band; in einem zweiten Band planen wir, die Implementierung des modellierten GRAFCET vorzunehmen und dabei die verschiedenen vorhandenen Techniken als zukünftige Arbeitsaufgabe vorzustellen.