Rechnergestützter Entwurf von Automatisierungsanlagen unter Nutzung von Petri-Netzen am Beispiel einer Paketverteilanlage

An einem praktischen Beispiel wird dargestellt, daß sich Methoden und Werkzeuge des Schaltkreisentwurfes auch für den Entwurf von Automatisierungseinrichtungen erfolgreich einsetzen lassen. Unter Anwendung bewährter Werkzeuge wird die Erarbeitung der Entwurfsaufgabe, ihre Modellierung und Verifikation durch Simulation beschrieben und eine Möglichkeit der Umsetzung der verifizierten Entwurfsaufgabe in eine Realisierung als PLA gezeigt. Besonderer Wert wurde dabei auf die Erarbeitung von Varianten der Entwurfsaufgabe gelegt. Die Vorgehensweise ist auch für andere Problemstellungen und andere Entwurfswerkzeuge anwendbar.