Die vorliegende Arbeit behandelt gekoppelte ereignisdiskrete Systeme, die sich auf der logischen Abstraktionsebene durch Zustandsautomaten beschreiben lassen. Zu deren Analyse und zum Steuerungsentwurf sind systematische Methoden bekannt, die auf einer formalen monolithischen Systembeschreibung basieren und daher bei Anwendung auf gekoppelte ereignisdiskrete Systeme industrieller Größe versagen. Derartige Systeme bestehen aus einer Vielzahl von gekoppelten Komponenten, deren Teilmodelle zur weiteren Behandlung explizit durch Komposition zusammengefasst werden müssen. Hierfür ist ein Zustandsraum aufzuspannen, dessen Umfang exponentiell von der Anzahl der enthaltenen Komponenten abhängt. Die methodische Zielstellung der Arbeit besteht darin, die systematischen Analyse- und Entwurfsmethoden für gekoppelte ereignisdiskrete Systeme zugänglich zu machen. Dies wird durch eine konsequente Strukturierung auf allen Ebenen der Systembehandlung erreicht. Diese Vorgehensweise führt bei gekoppelten ereignisdiskreten Systemen zu einer Komplexitätsreduktion.weiterlesen